diff options
author | Sarah Brofeldt <sbrofeldt@gmail.com> | 2018-08-28 09:16:33 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-28 09:16:33 +0200 |
commit | b4c9f8d0358af4af102714e1a8fda0ee60ffa801 (patch) | |
tree | b5e28d28c86a3ea0d36662b056c6e8344a860a92 /pkgs/development | |
parent | 1ccd82c44defed0019cee9e04ff739959c8c7a81 (diff) | |
parent | 38fafd1ed1461a733f1e76c548396d5d3076a980 (diff) | |
download | nixlib-b4c9f8d0358af4af102714e1a8fda0ee60ffa801.tar nixlib-b4c9f8d0358af4af102714e1a8fda0ee60ffa801.tar.gz nixlib-b4c9f8d0358af4af102714e1a8fda0ee60ffa801.tar.bz2 nixlib-b4c9f8d0358af4af102714e1a8fda0ee60ffa801.tar.lz nixlib-b4c9f8d0358af4af102714e1a8fda0ee60ffa801.tar.xz nixlib-b4c9f8d0358af4af102714e1a8fda0ee60ffa801.tar.zst nixlib-b4c9f8d0358af4af102714e1a8fda0ee60ffa801.zip |
Merge pull request #45691 from vbgl/oblivc-20180624
obliv-c: 0.0pre20170827 -> 0.0pre20180624
Diffstat (limited to 'pkgs/development')
-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 ]; |