| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | ocamlPackages_3_11_2: remove | Théo Zimmermann | 2018-10-08 |
| * | treewide: http -> https sources (#42676) | Silvan Mosberger | 2018-06-28 |
| * | pkgs: refactor needless quoting of homepage meta attribute (#27809) | Silvan Mosberger | 2017-08-01 |
| * | treewide: move to ocaml-ng system | Kirill Boltaev | 2016-09-26 |
| * | treewide: Add lots of meta.platforms | Tuomas Tynkkynen | 2016-08-02 |
| * | coq: Add csdp dependency | Russell O'Connor | 2015-09-10 |
| * | coq-8.3: fix (needs make 3) | Vincent Laporte | 2015-06-25 |
| * | Adds some “branch” meta-data | Vincent Laporte | 2014-11-06 |
| * | coq: setup-hook for libraries | Vincent Laporte | 2014-09-28 |
| * | Fixing configure patch for coq 8.3. | Russell O'Connor | 2012-08-19 |
| * | Correcting filename. | Russell O'Connor | 2012-08-19 |