| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | treewide: remove redundant rec | volth | 2019-08-28 |
| * | treewide: name -> pname | volth | 2019-08-17 |
| * | gringo: use postPatch | Matthew Justin Bauer | 2018-06-25 |
| * | gringo: add darwin platform support | Winnie Quinn | 2017-09-12 |
| * | Revert opam solver dependency changes | Jesse Haber-Kucharsky | 2016-11-12 |
| * | aspcud: fix by updating the dependencies (#20086) | Théo Zimmermann | 2016-11-03 |
| * | opam, aspcud: init packages for external solver (#16938) | Jesse Haber-Kucharsky | 2016-09-12 |