Skip to main content

Browse the archive

Revision e5efb239d86d3e281b3f6670790efea7e2fadbde authored by Pierre-Yves Strub on 06 September 2019, 13:48:52 UTC, committed by Pierre-Yves Strub on 06 September 2019, 13:48:52 UTC 
Refactor and kill all admits related to distributions and infinite sums.
1 parent 60b76e8
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