20b6b3cf0e
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.
6 lines
162 B
Text
6 lines
162 B
Text
target clingo.nix
|
|
attribute_name clingo
|
|
url https://github.com/potassco/clingo/releases/
|
|
ensure_choice
|
|
version '.*/v([0-9.]+)[.]tar[.].*' '\1'
|
|
minimize_overwrite
|