···

       
1
       
1
       
 
       
opam-version: "2.0"

     

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

     

       
2
       
2
       
+
       
maintainer: "Jean-Christophe.Filliatre@cnrs.fr"

     

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

     

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

     

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

     

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

     

       
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"

     

       
7
       
7
       
 
       
license: "LGPL-2.1-only"

     

       
8
       
8
       
 
       
build: [

     

       
9
       
9
       
 
       
  ["obuild" "configure"]