batteries 2.8.0

ocaml · Nov 14, 2017 · 777da34 · 777da34
1 parent 4450370
commit 777da34
Show file tree

Hide file tree

Showing 3 changed files with 28 additions and 0 deletions.
diff --git a/packages/batteries/batteries.2.8.0/descr b/packages/batteries/batteries.2.8.0/descr
@@ -0,0 +1 @@
+a community-maintained standard library extension
diff --git a/packages/batteries/batteries.2.8.0/opam b/packages/batteries/batteries.2.8.0/opam
@@ -0,0 +1,24 @@
+opam-version: "1.2"
+name: "batteries"
+maintainer: "[email protected]"
+authors: "OCaml batteries-included team"
+homepage: "http://batteries.forge.ocamlcore.org/"
+bug-reports: "https://github.com/ocaml-batteries-team/batteries-included/issues"
+dev-repo: "https://github.com/ocaml-batteries-team/batteries-included.git"
+license: "LGPL-2.1+ with OCaml linking exception"
+doc: "http://ocaml-batteries-team.github.io/batteries-included/hdoc2/"
+build: [
+  ["ocaml" "setup.ml" "-configure" "--prefix" prefix]
+  [make "all"]
+]
+install: [make "install"]
+remove: ["ocamlfind" "remove" "batteries"]
+depends: [
+  "ocamlfind" {>= "1.5.3"}
+  "ocamlbuild" {build}
+  "qtest" {test & >= "2.5"}
+  "qcheck" {test & >= "0.6"}
+  "bisect" {test}
+  "num"
+]
+available: [ocaml-version >= "3.12.1" & ocaml-version < "4.07.0"]
diff --git a/packages/batteries/batteries.2.8.0/url b/packages/batteries/batteries.2.8.0/url
@@ -0,0 +1,3 @@
+http:
+  "https://github.com/ocaml-batteries-team/batteries-included/releases/download/v2.8.0/batteries-2.8.0.tar.gz"
+checksum: "2d9a811dcb47bae9f1159676d880a46b"
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		a community-maintained standard library extension