Vincent Laporte e59dcf8cce

Merge pull request #78253 from jpas/CoLoR-1.6.0 ...

coqPackages.CoLoR: 1.4.0 -> 1.7.0

2020-01-27 10:15:28 +01:00

..

scripts

update-luarocks-packages: disable by default

2020-01-25 19:39:28 +01:00

maintainer-list.nix

Merge pull request #78253 from jpas/CoLoR-1.6.0

2020-01-27 10:15:28 +01:00