| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | coqPackages.coqeal: 1.0.4 → 1.0.5 | Vincent Laporte | 2021-04-29 |
| * | coqPackages: refactor | Cyril Cohen | 2021-01-09 |
| * | coqPackages_8_4.coqeal: remove | Vincent Laporte | 2017-12-02 |
| * | Fix lots of fetchgit hashes (fallout from #15469) | Tuomas Tynkkynen | 2016-06-03 |
| * | coq-coqeal: fix installation | Vincent Laporte | 2015-05-29 |
| * | coqPackages.coqeal: new expression | John Wiegley | 2014-12-04 |