diff options
Diffstat (limited to 'nixpkgs/pkgs/applications/science/logic/potassco/clingo.upstream')
-rw-r--r-- | nixpkgs/pkgs/applications/science/logic/potassco/clingo.upstream | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/applications/science/logic/potassco/clingo.upstream b/nixpkgs/pkgs/applications/science/logic/potassco/clingo.upstream new file mode 100644 index 000000000000..062577d1451b --- /dev/null +++ b/nixpkgs/pkgs/applications/science/logic/potassco/clingo.upstream @@ -0,0 +1,6 @@ +target clingo.nix +attribute_name clingo +url https://github.com/potassco/clingo/releases/ +ensure_choice +version '.*/v([0-9.]+)[.]tar[.].*' '\1' +minimize_overwrite |