this repo has no description
new release hashset 1.0.1
+31
+31
packages/hashset/hashset.1.0.1/opam
+31
packages/hashset/hashset.1.0.1/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "Jean-Christophe.Filliatre@cnrs.fr"
3
+
authors: ["Jean-Christophe Filliâtre"]
4
+
homepage: "https://github.com/backtracking/hashset"
5
+
bug-reports: "https://github.com/backtracking/hashset/issues"
6
+
dev-repo: "https://github.com/backtracking/hashset"
7
+
license: "LGPL-2.1-only"
8
+
build: [
9
+
["obuild" "configure"]
10
+
["obuild" "build" "lib-hashset"]
11
+
]
12
+
install: [
13
+
["obuild" "install"]
14
+
]
15
+
remove: [
16
+
["ocamlfind" "remove" "hashset"]
17
+
]
18
+
depends: [
19
+
"ocaml"
20
+
"ocamlfind"
21
+
"obuild" {build & >= "0.1"}
22
+
]
23
+
synopsis: "Sets as hash tables"
24
+
flags: light-uninstall
25
+
url {
26
+
src: "https://github.com/backtracking/hashset/archive/refs/tags/v1.0.1.zip"
27
+
checksum: [
28
+
"sha256=93247267292744cf92752658dbf1e1a55b036e53551ce8b8eb9ea07abdddd8fe"
29
+
"md5=e4ec32fe3c3cdbb7dfa1decc0cbd78ec"
30
+
]
31
+
}