Skip to main content

Browse the archive

Revision 7fb964ca6865d502425153b11e3eb5819bbc23bc authored by Benjamin Gregoire on 12 September 2019, 19:01:35 UTC, committed by Benjamin Gregoire on 12 September 2019, 20:35:16 UTC 
add generalized oracle Diffie-Hellman assumption
1 parent 350728b
Raw File
default.nix 
with import <nixpkgs> {};

stdenv.mkDerivation {
  name = "easycrypt-1.0";
  src = ./.;
  buildInputs = [ ]
    ++ (with ocamlPackages; [ ocaml findlib ocamlbuild batteries menhir merlin zarith inifiles why3 ])
    ;
}
back to top