| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2017-09-12 | gringo: add darwin platform support | Winnie Quinn | 1 | -2/+20 |
| 2016-11-12 | Revert opam solver dependency changes | Jesse Haber-Kucharsky | 3 | -0/+62 |
| 2016-11-03 | aspcud: fix by updating the dependencies (#20086) | Théo Zimmermann | 2 | -50/+0 |
| 2016-09-12 | opam, aspcud: init packages for external solver (#16938) | Jesse Haber-Kucharsky | 2 | -0/+50 |
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| summary refs log tree commit diff |