Skip to main content

Browse the archive

Revision 89e35d1ab89452056d87c6e57355c69bf45d3083 authored by Pierre-Yves Strub on 05 December 2019, 19:54:02 UTC, committed by Pierre-Yves Strub on 05 December 2019, 19:54:02 UTC 
Compiles with OCaml 4.07 -> 4.09 (tested)
1 parent 132968e
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 yojson])
    ;
}
back to top