this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "filliatr@lri.fr"
3authors: "Jean-Christophe Filliâtre"
4homepage: "https://www.lri.fr/~filliatr/software.en.html"
5dev-repo: "git+https://github.com/backtracking/bitv.git"
6bug-reports: "https://github.com/backtracking/bitv/issues"
7license: "LGPL-2.1-only"
8build: [
9 ["autoconf"]
10 ["./configure"]
11 [make]
12]
13install: [make "install"]
14remove: ["ocamlfind" "remove" "bitv"]
15depends: [
16 "ocaml" {>= "4.02.0"}
17 "ocamlfind" {build}
18 "conf-autoconf" {build}
19]
20synopsis: "A bit vector library"
21flags: light-uninstall
22url {
23 src: "https://github.com/backtracking/bitv/archive/1.3.tar.gz"
24 checksum: [
25 "sha256=f93f927c29d03e8e8b5bf09064959e9dee0a00fb20ba0e12f363a280dc3ddd6f"
26 "md5=5f376821b7588807b3e4441e8c330ed2"
27 ]
28}