diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-11-14 17:43:21 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-11-14 17:53:53 +0000 |
| commit | 26798bd6e07cb56b31faa6d7ab8ce814e6d040cf (patch) | |
| tree | cbdb77512ae18c4bccb61e77650b9c8e3249fe8b /pkgs/development/compilers/fstar | |
| parent | a3aae2c831fd518f7e0959870e27c07c9d8cc810 (diff) | |
| download | nixpkgs-26798bd6e07cb56b31faa6d7ab8ce814e6d040cf.tar nixpkgs-26798bd6e07cb56b31faa6d7ab8ce814e6d040cf.tar.gz nixpkgs-26798bd6e07cb56b31faa6d7ab8ce814e6d040cf.tar.bz2 nixpkgs-26798bd6e07cb56b31faa6d7ab8ce814e6d040cf.tar.lz nixpkgs-26798bd6e07cb56b31faa6d7ab8ce814e6d040cf.tar.xz nixpkgs-26798bd6e07cb56b31faa6d7ab8ce814e6d040cf.tar.zst nixpkgs-26798bd6e07cb56b31faa6d7ab8ce814e6d040cf.zip | |
ocamlPackages.batteries: 2.7.0 -> 2.8.0
Also renames the attribute from ocaml_batteries to batteries.
Diffstat (limited to 'pkgs/development/compilers/fstar')
| -rw-r--r-- | pkgs/development/compilers/fstar/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/compilers/fstar/default.nix b/pkgs/development/compilers/fstar/default.nix index 3aef4e3ba89..6df09b402f7 100644 --- a/pkgs/development/compilers/fstar/default.nix +++ b/pkgs/development/compilers/fstar/default.nix @@ -14,7 +14,7 @@ stdenv.mkDerivation rec { nativeBuildInputs = [ makeWrapper ]; buildInputs = with ocamlPackages; [ - z3 ocaml findlib ocaml_batteries menhir stdint + z3 ocaml findlib batteries menhir stdint zarith camlp4 yojson pprint ]; |