this repo has no description
Merge pull request #27440 from backtracking/hashset-1-0-1
new release hashset 1.0.1
authored by
Marcello Seri
and committed by
GitHub
0cdfd4be
0bf36410
+23
+23
packages/hashset/hashset.1.0.1/opam
+23
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: "git+https://github.com/backtracking/hashset.git"
7
+
license: "LGPL-2.1-only"
8
+
depends: [
9
+
"ocaml"
10
+
"dune" {>= "2.0.0"}
11
+
]
12
+
build: [
13
+
["dune" "subst"] {dev}
14
+
["dune" "build" "-p" name "-j" jobs]
15
+
]
16
+
synopsis: "Sets as hash tables"
17
+
url {
18
+
src: "https://github.com/backtracking/hashset/archive/refs/tags/v1.0.1.zip"
19
+
checksum: [
20
+
"sha256=93247267292744cf92752658dbf1e1a55b036e53551ce8b8eb9ea07abdddd8fe"
21
+
"md5=e4ec32fe3c3cdbb7dfa1decc0cbd78ec"
22
+
]
23
+
}