about summary refs log tree commit diff
path: root/pkgs/tools/misc/aspcud
AgeCommit message (Expand)AuthorFilesLines
2022-12-28clasp: remove at 3.1.4Vincent Laporte1-3/+2
2022-11-27gringo: remove at 4.5.4Vincent Laporte1-3/+3
2022-07-29aspcud: 1.9.5 -> 1.9.6R. Ryantm1-2/+2
2022-02-27aspcud: fix build w/glibc-2.34Maximilian Bosch1-0/+7
2021-09-19aspcud: switch to fetchFromGitHubFelix Buehler1-5/+13
2021-02-25aspcud: 1.9.4 -> 1.9.5R. RyanTM1-2/+2
2021-01-11treewide: with stdenv.lib; in meta -> with lib;Profpatsch1-2/+2
2021-01-01treewide: cmake buildInputs to nativeBuildInputs, minor cleanupsBen Siraphob1-1/+2
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+1
2018-02-28aspcud: 1.9.1 -> 1.9.4Vincent Laporte1-27/+12
2017-09-13aspcud: add darwin platform supportWinnie Quinn1-1/+1
2017-02-16aspcu: 1.9.0 -> 1.9.1Graham Christensen1-2/+2
2016-11-12Revert opam solver dependency changesJesse Haber-Kucharsky1-3/+3
2016-11-03aspcud: fix by updating the dependencies (#20086)Théo Zimmermann1-3/+3
2016-09-12opam, aspcud: init packages for external solver (#16938)Jesse Haber-Kucharsky1-0/+44