nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-11 22:54:17 +00:00
Code Issues Packages Projects Releases Wiki Activity
b693f989f6
nixpkgs/pkgs/applications/science/logic/potassco
History
Michael Raskin 20b6b3cf0e clingo: init at 5.2.2 
Note that clasp (included in clingo) is already packaged separately, but
only an earlier version. As it is used by OPAM, but will stop being used
by OPAM later (and I want to grab the name for Clasp the Common Lisp
implementation), I decided to package clingo as a whole (as recommended),
but to leave clasp until OPAM stops needing it.
2017-11-10 14:04:32 +01:00
..
clingo.nix clingo: init at 5.2.2 2017-11-10 14:04:32 +01:00
clingo.upstream clingo: init at 5.2.2 2017-11-10 14:04:32 +01:00