diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-08-28 04:32:56 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-08-28 04:32:56 +0000 |
| commit | 38fafd1ed1461a733f1e76c548396d5d3076a980 (patch) | |
| tree | 6d0ed04e813bd784f2306d90b57de71ea7c305db /pkgs/development/compilers/obliv-c | |
| parent | 18006f8edc79454e3579333e8d3e07554fb474b1 (diff) | |
| download | nixlib-38fafd1ed1461a733f1e76c548396d5d3076a980.tar nixlib-38fafd1ed1461a733f1e76c548396d5d3076a980.tar.gz nixlib-38fafd1ed1461a733f1e76c548396d5d3076a980.tar.bz2 nixlib-38fafd1ed1461a733f1e76c548396d5d3076a980.tar.lz nixlib-38fafd1ed1461a733f1e76c548396d5d3076a980.tar.xz nixlib-38fafd1ed1461a733f1e76c548396d5d3076a980.tar.zst nixlib-38fafd1ed1461a733f1e76c548396d5d3076a980.zip | |
obliv-c: 0.0pre20170827 -> 0.0pre20180624
Diffstat (limited to 'pkgs/development/compilers/obliv-c')
| -rw-r--r-- | pkgs/development/compilers/obliv-c/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/compilers/obliv-c/default.nix b/pkgs/development/compilers/obliv-c/default.nix index f5bd3430ae70..0d171a474a20 100644 --- a/pkgs/development/compilers/obliv-c/default.nix +++ b/pkgs/development/compilers/obliv-c/default.nix @@ -1,15 +1,15 @@ { stdenv, libgcrypt, fetchFromGitHub, ocamlPackages, perl }: stdenv.mkDerivation rec { name = "obliv-c-${version}"; - version = "0.0pre20170827"; + version = "0.0pre20180624"; buildInputs = [ perl ] ++ (with ocamlPackages; [ ocaml findlib ocamlbuild ]); propagatedBuildInputs = [ libgcrypt ]; src = fetchFromGitHub { owner = "samee"; repo = "obliv-c"; - rev = "9a6be5a5f44d341bc357055e11922f6a4c4c3b65"; - sha256 = "0jz2ayadx62zv2b5ji947bkvw63axl4a2q70lwli86zgmcl390gf"; + rev = "3d6804ca0fd85868207a0ccbd2509ec064723ac2"; + sha256 = "1ib21ngn7zr58xxq4sjigrpaxb0wx35x3k9l4qvwflzrmvnman20"; }; patches = [ ./ignore-complex-float128.patch ]; |