aspcu: 1.9.0 -> 1.9.1

This commit is contained in:
Graham Christensen 2017-02-16 07:55:25 -05:00
parent 52026edf98
commit 073ca2b34f
No known key found for this signature in database
GPG Key ID: 06121D366FE9435C
2 changed files with 3 additions and 3 deletions

View File

@ -3,7 +3,7 @@
}:
let
version = "1.9.0";
version = "1.9.1";
in
stdenv.mkDerivation rec {
@ -11,7 +11,7 @@ stdenv.mkDerivation rec {
src = fetchurl {
url = "mirror://sourceforge/project/potassco/aspcud/${version}/aspcud-${version}-source.tar.gz";
sha256 = "029035vcdk527ssf126i8ipi5zs73gqpbrg019pvm9r24rf0m373";
sha256 = "09sqbshwrqz2fvlkz73mns5i3m70fh8mvwhz8450izy5lsligsg0";
};
buildInputs = [ boost clasp cmake gringo re2c ];

View File

@ -548,7 +548,7 @@ with pkgs;
aria = aria2;
aspcud = callPackage ../tools/misc/aspcud {
boost = boost155;
boost = boost163;
};
at = callPackage ../tools/system/at { };