colin/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

clingo: fix URL

Browse Source
This commit is contained in:
Vincent Laporte 2018-03-12 16:51:54 +00:00
parent 2f00a50e2d
commit eedc173276
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
1 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
pkgs/applications/science/logic/potassco/clingo.nix
View File

@ -1,12 +1,13 @@
{stdenv, fetchurl, cmake}:
{ stdenv, fetchzip, cmake }:
stdenv.mkDerivation rec {
name = "${pname}-${version}";
pname = "clingo";
version = "5.2.2";
src = fetchurl {
url = "https://github.com/potassco/clingo/releases/v${version}.tar.gz";
sha256 = "1kxzb385g8p9mqm1x9wvjrigifa09w6vj0wl7kradibm5qagh7ns";
src = fetchzip {
url = "https://github.com/potassco/clingo/archive/v${version}.tar.gz";
sha256 = "04rjwpna37gzm8vxr09z3z6ay8y8cxbjd8lga7xvqfpn2l178zjm";
};
buildInputs = [];
@ -17,7 +18,7 @@ stdenv.mkDerivation rec {
description = "ASP system to ground and solve logic programs";
license = stdenv.lib.licenses.mit;
maintainers = [stdenv.lib.maintainers.raskin];
platforms = stdenv.lib.platforms.linux;
platforms = stdenv.lib.platforms.unix;
homepage = "https://potassco.org/";
downloadPage = "https://github.com/potassco/clingo/releases/";
};