Age | Commit message (Expand) | Author |
---|---|---|
2019-08-15 | treewide: name -> pname (easy cases) (#66585) | volth |
2018-02-28 | aspcud: 1.9.1 -> 1.9.4 | Vincent Laporte |
2017-09-13 | aspcud: add darwin platform support | Winnie Quinn |
2017-02-16 | aspcu: 1.9.0 -> 1.9.1 | Graham Christensen |
2016-11-12 | Revert opam solver dependency changes | Jesse Haber-Kucharsky |
2016-11-03 | aspcud: fix by updating the dependencies (#20086) | Théo Zimmermann |
2016-09-12 | opam, aspcud: init packages for external solver (#16938) | Jesse Haber-Kucharsky |