this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Jean-Christophe.Filliatre@cnrs.fr"
3authors: ["Jean-Christophe Filliâtre"]
4homepage: "https://github.com/backtracking/hashset"
5bug-reports: "https://github.com/backtracking/hashset/issues"
6dev-repo: "git+https://github.com/backtracking/hashset.git"
7license: "LGPL-2.1-only"
8depends: [
9 "ocaml"
10 "dune" {>= "2.0.0"}
11]
12build: [
13 ["dune" "subst"] {dev}
14 ["dune" "build" "-p" name "-j" jobs]
15]
16synopsis: "Sets as hash tables"
17url {
18 src: "https://github.com/backtracking/hashset/archive/refs/tags/v1.0.1.zip"
19 checksum: [
20 "sha256=93247267292744cf92752658dbf1e1a55b036e53551ce8b8eb9ea07abdddd8fe"
21 "md5=e4ec32fe3c3cdbb7dfa1decc0cbd78ec"
22 ]
23}