7 commits

Author	SHA1	Message	Date
Vincent Laporte	a9d066a990	coqPackages.tlc: init at 20171206 ... TLC is a general purpose Coq library that provides an alternative to Coq's standard library. Homepage: http://www.chargueraud.org/softs/tlc/	2017-12-28 08:19:54 +01:00
Vincent Laporte	25576df64c	coqPackages.contribs: recurse into the nested set	2017-12-22 16:56:20 +00:00
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