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