diff options
author | Artturi <Artturin@artturin.com> | 2021-08-14 20:32:36 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-08-14 20:32:36 +0300 |
commit | 74593328f79308eebc2d6d8e79cedfc97dbd4315 (patch) | |
tree | 0b151737982c05ac562e3aee72df0c713351d6e6 /pkgs | |
parent | 2e02ebafe29833979f4cc0a07a2ad1cf329b5ed4 (diff) | |
parent | 2f4c2f207a673ec989f9711edc263cfff7fa7b99 (diff) | |
download | nixpkgs-74593328f79308eebc2d6d8e79cedfc97dbd4315.tar nixpkgs-74593328f79308eebc2d6d8e79cedfc97dbd4315.tar.gz nixpkgs-74593328f79308eebc2d6d8e79cedfc97dbd4315.tar.bz2 nixpkgs-74593328f79308eebc2d6d8e79cedfc97dbd4315.tar.lz nixpkgs-74593328f79308eebc2d6d8e79cedfc97dbd4315.tar.xz nixpkgs-74593328f79308eebc2d6d8e79cedfc97dbd4315.tar.zst nixpkgs-74593328f79308eebc2d6d8e79cedfc97dbd4315.zip |
Merge pull request #133853 from Artturin/bigloo
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/development/compilers/bigloo/default.nix | 4 | ||||
-rw-r--r-- | pkgs/development/compilers/hop/default.nix | 7 |
2 files changed, 6 insertions, 5 deletions
diff --git a/pkgs/development/compilers/bigloo/default.nix b/pkgs/development/compilers/bigloo/default.nix index a4f4287523f..c4fa5712ea6 100644 --- a/pkgs/development/compilers/bigloo/default.nix +++ b/pkgs/development/compilers/bigloo/default.nix @@ -4,11 +4,11 @@ stdenv.mkDerivation rec { pname = "bigloo"; - version = "4.3h"; + version = "4.4b"; src = fetchurl { url = "ftp://ftp-sop.inria.fr/indes/fp/Bigloo/bigloo-${version}.tar.gz"; - sha256 = "0fw08096sf8ma2cncipnidnysxii0h0pc7kcqkjhkhdchknp8vig"; + sha256 = "sha256-oxOSJwKWmwo7PYAwmeoFrKaYdYvmvQquWXyutolc488="; }; nativeBuildInputs = [ autoconf automake libtool ]; diff --git a/pkgs/development/compilers/hop/default.nix b/pkgs/development/compilers/hop/default.nix index 8e5bd6a7df0..00900b6fffe 100644 --- a/pkgs/development/compilers/hop/default.nix +++ b/pkgs/development/compilers/hop/default.nix @@ -7,10 +7,11 @@ let bigloo-release = ; in stdenv.mkDerivation rec { - name = "hop-3.3.0"; + pname = "hop"; + version = "3.4.4"; src = fetchurl { - url = "ftp://ftp-sop.inria.fr/indes/fp/Hop/${name}.tar.gz"; - sha256 = "14gf9ihmw95zdnxsqhn5jymfivpfq5cg9v0y7yjd5i7c787dncp5"; + url = "ftp://ftp-sop.inria.fr/indes/fp/Hop/hop-${version}.tar.gz"; + sha256 = "sha256-GzXh4HC+SFFoUi7SMqu36iYRPAJ6tMnOHd+he6n9k1I="; }; postPatch = '' |