From 816d212fa2d4975c4e4475f504e84829f3d53142 Mon Sep 17 00:00:00 2001 From: "R. RyanTM" Date: Tue, 15 Jun 2021 22:50:52 +0000 Subject: [PATCH] gappa: 1.3.5 -> 1.4.0 --- pkgs/applications/science/logic/gappa/default.nix | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/pkgs/applications/science/logic/gappa/default.nix b/pkgs/applications/science/logic/gappa/default.nix index 73f34f60fc4..c7c5c9c6fa7 100644 --- a/pkgs/applications/science/logic/gappa/default.nix +++ b/pkgs/applications/science/logic/gappa/default.nix @@ -1,11 +1,11 @@ { lib, stdenv, fetchurl, gmp, mpfr, boost }: stdenv.mkDerivation { - name = "gappa-1.3.5"; + name = "gappa-1.4.0"; src = fetchurl { - url = "https://gforge.inria.fr/frs/download.php/file/38044/gappa-1.3.5.tar.gz"; - sha256 = "0q1wdiwqj6fsbifaayb1zkp20bz8a1my81sqjsail577jmzwi07w"; + url = "https://gforge.inria.fr/frs/download.php/file/38044/gappa-1.4.0.tar.gz"; + sha256 = "sha256-/IDIf5XnFBqVllgH5GtQ6C8g7vxheaVcXNoZiXlsPGA="; }; buildInputs = [ gmp mpfr boost.dev ];