pyrox.dev
gappa: 1.3.5 -> 1.4.0
authored by
R. RyanTM
and committed by
Jonathan Ringer
816d212f
a92e4782
+3
-3
pkgs/applications/science/logic/gappa/default.nix
+3
-3
pkgs/applications/science/logic/gappa/default.nix
···
1
{ lib, stdenv, fetchurl, gmp, mpfr, boost }:
2
3
stdenv.mkDerivation {
4
-
name = "gappa-1.3.5";
5
6
src = fetchurl {
7
-
url = "https://gforge.inria.fr/frs/download.php/file/38044/gappa-1.3.5.tar.gz";
8
-
sha256 = "0q1wdiwqj6fsbifaayb1zkp20bz8a1my81sqjsail577jmzwi07w";
9
};
10
11
buildInputs = [ gmp mpfr boost.dev ];
···
1
{ lib, stdenv, fetchurl, gmp, mpfr, boost }:
2
3
stdenv.mkDerivation {
4
+
name = "gappa-1.4.0";
5
6
src = fetchurl {
7
+
url = "https://gforge.inria.fr/frs/download.php/file/38044/gappa-1.4.0.tar.gz";
8
+
sha256 = "sha256-/IDIf5XnFBqVllgH5GtQ6C8g7vxheaVcXNoZiXlsPGA=";
9
};
10
11
buildInputs = [ gmp mpfr boost.dev ];