this repo has no description
Merge pull request #25904 from backtracking/opam-publish-bitv.2.0
Package bitv.2.0
authored by
Marcello Seri
and committed by
GitHub
43566640
70d2accd
+26
+26
packages/bitv/bitv.2.0/opam
+26
packages/bitv/bitv.2.0/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "Jean-Christophe.Filliatre@cnrs.fr"
3
+
authors: "Jean-Christophe Filliâtre"
4
+
license: "LGPL-2.1-or-later"
5
+
synopsis: "A bit vector library for OCaml"
6
+
description: "A bit vector library for OCaml"
7
+
homepage: "https://github.com/backtracking/bitv"
8
+
bug-reports: "https://github.com/backtracking/bitv/issues"
9
+
doc: "https://backtracking.github.io/bitv"
10
+
depends: [
11
+
"ocaml" {>= "4.03"}
12
+
"dune" {>= "2.0.0"}
13
+
]
14
+
build: [
15
+
["dune" "subst"] {dev}
16
+
["dune" "build" "-p" name "-j" jobs]
17
+
["dune" "runtest" "-p" name] {with-test}
18
+
]
19
+
dev-repo: "git+https://github.com/backtracking/bitv.git"
20
+
url {
21
+
src: "https://github.com/backtracking/bitv/archive/refs/tags/2.0.tar.gz"
22
+
checksum: [
23
+
"md5=3cc19ac840f22c19508aac5063fcb43c"
24
+
"sha512=8a96af5d5573746b004fe018ef2b6faa0c3adf52c356e8a7b3ba97d3ba3cead685e1f3e174d46ccd3a09bb3215a4936501b08eabd36f0492a240ea20128bafae"
25
+
]
26
+
}