Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 2020-04-10 |
| | |||
* | coqPackages.flocq: fetch sources from gitlab | Vincent Laporte | 2019-08-05 |
| | |||
* | coqPackages.flocq: 3.1.0 -> 3.2.0 | Vincent Laporte | 2019-08-05 |
| | | | | Ensures compatibility with Coq 8.10 | ||
* | coqPackages.flocq: 3.0.0 -> 3.1.0 | Vincent Laporte | 2019-02-15 |
| | |||
* | coqPackages.flocq: 2.6.0 -> {2.6.1, 3.0.0} | Vincent Laporte | 2019-01-23 |
| | |||
* | coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc. | Théo Zimmermann | 2018-10-19 |
| | |||
* | coqPackages.flocq: 2.5.2 -> 2.6.0 | Vincent Laporte | 2017-10-18 |
| | |||
* | coqPackages.flocq: 2.5.1 -> 2.5.2 | Vincent Laporte | 2017-01-14 |
| | |||
* | coq-flocq: 2.5.0 -> 2.5.1 | Vincent Laporte | 2016-01-04 |
| | |||
* | Revert "coqPackages.flocq: 2.4.0 -> 2.5.0" | Vincent Laporte | 2016-01-04 |
| | | | | | | This reverts commit db9bc6875f3ad5e7bddcbeab7124bd5b8fc684c6. That reverted commit had introduced a wrong URL. | ||
* | coqPackages.flocq: 2.4.0 -> 2.5.0 | John Wiegley | 2015-12-16 |
| | |||
* | coq-flocq: 2.4.0 -> 2.5.0; coq-interval: 2.0.0 -> 2.1.0 | Vincent Laporte | 2015-12-03 |
| | |||
* | meta.description fixups | Joachim Fasting | 2015-04-30 |
| | | | | Mostly scripted substitutions with a couple of subjective enhancements. | ||
* | coq-flocq: license | Vincent Laporte | 2014-12-07 |
| | |||
* | coqPackages.flocq: new expression | John Wiegley | 2014-10-21 |