obliv-c: 0.0pre20180624 → 0.0pre20210621

main
Vincent Laporte 2 years ago
parent 02d7b7a7a0
commit 3d3e4fc498
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
  1. 6
      pkgs/development/compilers/obliv-c/default.nix

@ -1,15 +1,15 @@
{ lib, stdenv, libgcrypt, fetchFromGitHub, ocamlPackages, perl }:
stdenv.mkDerivation rec {
pname = "obliv-c";
version = "0.0pre20180624";
version = "0.0pre20210621";
buildInputs = [ perl ]
++ (with ocamlPackages; [ ocaml findlib ocamlbuild ]);
propagatedBuildInputs = [ libgcrypt ];
src = fetchFromGitHub {
owner = "samee";
repo = "obliv-c";
rev = "3d6804ca0fd85868207a0ccbd2509ec064723ac2";
sha256 = "1ib21ngn7zr58xxq4sjigrpaxb0wx35x3k9l4qvwflzrmvnman20";
rev = "e02e5c590523ef4dae06e167a7fa00037bb3fdaf";
sha256 = "sha256:02vyr4689f4dmwqqs0q1mrack9h3g8jz3pj8zqiz987dk0r5mz7a";
};
hardeningDisable = [ "fortify" ];

Loading…
Cancel
Save