Commit graph

11 commits

Author SHA1 Message Date
Vincent Laporte 76a43d765c coq: 8.8+beta1 -> 8.8.0 2018-04-18 14:37:04 +02:00
Vincent Laporte 6845b248d9 coq: init at 8.8+beta1 2018-03-21 18:06:28 +00:00
John Wiegley 90252481bf coq: 8.7.1 -> 8.7.2 2018-02-15 23:12:43 -08:00
Vincent Laporte 202fb6faea
coq: default to 8.7 2018-02-07 19:28:38 +00:00
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