nixpkgs

Commit Graph

Author	SHA1	Message	Date
Vincent Laporte	903f4dd3d4	clingo: fix build on non-sandboxed darwin	2018-03-12 17:07:18 +00:00
Vincent Laporte	eedc173276	clingo: fix URL	2018-03-12 16:51:54 +00:00
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

Author

SHA1

Message

Date

Vincent Laporte

903f4dd3d4

clingo: fix build on non-sandboxed darwin

2018-03-12 17:07:18 +00:00

Vincent Laporte

eedc173276

clingo: fix URL

2018-03-12 16:51:54 +00:00

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

3 Commits