Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-10-10 | camlp5_transitional: remove in favor of camlp5 (strict) | Théo Zimmermann | |
2018-10-08 | ocamlPackages_3_11_2: remove | Théo Zimmermann | |
This requires removing also the Coq 8.3 and Matita 0.5.8 packages. Coq 8.3 was released 8 years ago (2010) and there is no trace left of users of this version (contrary to Coq 8.4, released 2012). It is well over time to remove it. Matita 0.5.8 was released in 2010 and because this version was still used for teaching according to the official website, a legacy release (0.5.9) was released in 5 years later to compile with more recent OCaml libraries. Updating to 0.5.9 (or a more recent version like 0.99.3) should allow getting rid of the dependency on older OCaml but it is hard to test given that the package is already broken before this update. | |||
2018-10-01 | coqPackages.coqprime: init at 8.7.2 & 8.8 | Vincent Laporte | |
2018-09-26 | coq: 8.8.1 -> 8.8.2 (#47388) | Vincent Laporte | |
2018-08-29 | coq_8_6: use OCaml 4.05 | Vincent Laporte | |
2018-08-29 | coq_8_5: use OCaml 4.05 | Vincent Laporte | |
2018-08-13 | coq: default to version 8.8 | Vincent Laporte | |
2018-06-29 | coq_8_8: 8.8.0 -> 8.8.1 | Théo Zimmermann | |
2018-05-22 | coqPackages.iris: init at 3.1.0 (#40909) | Vincent Laporte | |
2018-05-15 | coqPackages.stdpp: init at 1.1 | Vincent Laporte | |
2018-04-18 | coq: 8.8+beta1 -> 8.8.0 | Vincent Laporte | |
2018-03-21 | coq: init at 8.8+beta1 | Vincent Laporte | |
2018-02-15 | coq: 8.7.1 -> 8.7.2 | John Wiegley | |
2018-02-07 | coq: default to 8.7 | Vincent Laporte | |
2017-12-28 | coqPackages.tlc: init at 20171206 | Vincent Laporte | |
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-22 | coqPackages.contribs: recurse into the nested set | Vincent Laporte | |
2017-12-21 | coqPackages.contribs: new set with all packages from coq-contribs | John Wiegley | |
2017-12-21 | Specify the coq version in a more consistent location | John Wiegley | |
2017-12-18 | coqPackages.multinomials: init at 1.0 | Vincent Laporte | |
2017-12-18 | coq: minor cleaning | Vincent Laporte | |
2017-12-18 | coqPackages: move to a separate file and filter the package set | Vincent Laporte | |