···

       
1
       
 
       
opam-version: "2.0"

     

       
2
       
-
       
maintainer: "Jean-Christophe.Filliatre@lri.fr"

     

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

     

       
4
       
-
       
homepage: "https://www.lri.fr/~filliatr/software.en.html"

     

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

     

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

     

       
7
       
 
       
license: "LGPL-2.1-only"

     

       
8
       
 
       
build: [

     

       
9
       
 
       
  ["obuild" "configure"]

     
···

       
16
       
 
       
  ["ocamlfind" "remove" "hashset"]

     

       
17
       
 
       
]

     

       
18
       
 
       
depends: [

     

       
19
       
-
       
  "ocaml" {< "5.0.0"}

     

       
20
       
 
       
  "ocamlfind"

     

       
21
       
 
       
  "obuild" {build & >= "0.1"}

     

       
22
       
 
       
]

     

···

       
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"]

     
···

       
16
       
 
       
  ["ocamlfind" "remove" "hashset"]

     

       
17
       
 
       
]

     

       
18
       
 
       
depends: [

     

       
19
       
+
       
  "ocaml"

     

       
20
       
 
       
  "ocamlfind"

     

       
21
       
 
       
  "obuild" {build & >= "0.1"}

     

       
22
       
 
       
]