Commit message (Expand) | Author | Age | |
---|---|---|---|
* | treewide: name -> pname (easy cases) (#66585) | volth | 2019-08-15 |
* | aspcud: 1.9.1 -> 1.9.4 | Vincent Laporte | 2018-02-28 |
* | aspcud: add darwin platform support | Winnie Quinn | 2017-09-13 |
* | aspcu: 1.9.0 -> 1.9.1 | Graham Christensen | 2017-02-16 |
* | 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 |