ocamlPackages.batteries: 2.7.0 -> 2.8.0

Also renames the attribute from ocaml_batteries to batteries.
2017-11-14 17:43:21 +00:00
parent a3aae2c831
commit 26798bd6e0
4 changed files with 13 additions and 11 deletions
--- 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
  ];