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 |
|