Merge pull request #133853 from Artturin/bigloo
commit74593328f79308eebc2d6d8e79cedfc97dbd4315
authorArtturi <Artturin@artturin.com>
dateSat 14 Aug 2021, 20:32 (5 years ago)
parent2e02eba2f4c2f2
pkgs/development/compilers/bigloo/default.nix+2−2
@@ -4,11 +4,11 @@
44
55stdenv.mkDerivation rec {
66 pname = "bigloo";
7− version = "4.3h";
7+ version = "4.4b";
88
99 src = fetchurl {
1010 url = "ftp://ftp-sop.inria.fr/indes/fp/Bigloo/bigloo-${version}.tar.gz";
11− sha256 = "0fw08096sf8ma2cncipnidnysxii0h0pc7kcqkjhkhdchknp8vig";
11+ sha256 = "sha256-oxOSJwKWmwo7PYAwmeoFrKaYdYvmvQquWXyutolc488=";
1212 };
1313
1414 nativeBuildInputs = [ autoconf automake libtool ];
pkgs/development/compilers/hop/default.nix+4−3
@@ -7,10 +7,11 @@ let bigloo-release =
77; in
88
99stdenv.mkDerivation rec {
10− name = "hop-3.3.0";
10+ pname = "hop";
11+ version = "3.4.4";
1112 src = fetchurl {
12− url = "ftp://ftp-sop.inria.fr/indes/fp/Hop/${name}.tar.gz";
13− sha256 = "14gf9ihmw95zdnxsqhn5jymfivpfq5cg9v0y7yjd5i7c787dncp5";
13+ url = "ftp://ftp-sop.inria.fr/indes/fp/Hop/hop-${version}.tar.gz";
14+ sha256 = "sha256-GzXh4HC+SFFoUi7SMqu36iYRPAJ6tMnOHd+he6n9k1I=";
1415 };
1516
1617 postPatch = ''