···

       
3
       
3
       
 
       
authors: ["Jean-Christophe Filliâtre"]

     

       
4
       
4
       
 
       
homepage: "https://github.com/backtracking/hashset"

     

       
5
       
5
       
 
       
bug-reports: "https://github.com/backtracking/hashset/issues"

     

       
6
       
6
       
-
       
dev-repo: "https://github.com/backtracking/hashset"

     

       
6
       
6
       
+
       
dev-repo: "git+https://github.com/backtracking/hashset.git"

     

       
7
       
7
       
 
       
license: "LGPL-2.1-only"

     

       
8
       
8
       
 
       
depends: [

     

       
9
       
9
       
 
       
  "ocaml"

     
···

       
14
       
14
       
 
       
  ["dune" "build" "-p" name "-j" jobs]

     

       
15
       
15
       
 
       
]

     

       
16
       
16
       
 
       
synopsis: "Sets as hash tables"

     

       
17
       
17
       
-
       
flags: light-uninstall

     

       
18
       
17
       
 
       
url {

     

       
19
       
18
       
 
       
  src: "https://github.com/backtracking/hashset/archive/refs/tags/v1.0.1.zip"

     

       
20
       
19
       
 
       
  checksum: [