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