5 commits

Author	SHA1	Message	Date
John Wiegley	2134543064	coqPackages.contribs: new set with all packages from coq-contribs	2017-12-21 10:26:56 -08:00
John Wiegley	f962f33593	Specify the coq version in a more consistent location	2017-12-21 01:24:35 -08:00
Vincent Laporte	fcb89df111	coqPackages.multinomials: init at 1.0	2017-12-18 15:30:38 +00:00
Vincent Laporte	4c454a3208	coq: minor cleaning	2017-12-18 15:30:36 +00:00
Vincent Laporte	d9f41a5bce	coqPackages: move to a separate file and filter the package set	2017-12-18 15:30:36 +00:00