gappa: 1.3.5 -> 1.4.0
commit816d212fa2d4975c4e4475f504e84829f3d53142
authorR. RyanTM <ryantm-bot@ryantm.com>
dateTue 15 Jun 2021, 22:50 (5 years ago)
parenta92e478
pkgs/applications/science/logic/gappa/default.nix+3−3
@@ -1,11 +1,11 @@
11{ lib, stdenv, fetchurl, gmp, mpfr, boost }:
22
33stdenv.mkDerivation {
4− name = "gappa-1.3.5";
4+ name = "gappa-1.4.0";
55
66 src = fetchurl {
7− url = "https://gforge.inria.fr/frs/download.php/file/38044/gappa-1.3.5.tar.gz";
8− sha256 = "0q1wdiwqj6fsbifaayb1zkp20bz8a1my81sqjsail577jmzwi07w";
7+ url = "https://gforge.inria.fr/frs/download.php/file/38044/gappa-1.4.0.tar.gz";
8+ sha256 = "sha256-/IDIf5XnFBqVllgH5GtQ6C8g7vxheaVcXNoZiXlsPGA=";
99 };
1010
1111 buildInputs = [ gmp mpfr boost.dev ];