anil.recoil.org / opam-repository
this repo has no description
fork atom

fix license

Jean-Christophe Filliatre c4c8ae1b 432f9d7c

options
unified split
Changed files
+1 -1
packages
hashcons
hashcons.1.4.0
opam
+1 -1
packages/hashcons/hashcons.1.4.0/opam 
···

       
8

       
 

       
<https://www.lri.fr/~filliatr/ftp/publis/hash-consing2.pdf>"""


     

       
9

       
 

       
maintainer: ["Jean-Christophe Filliatre <Jean-Christophe.Filliatre@cnrs.fr>"]


     

       
10

       
 

       
authors: ["Jean-Christophe Filliatre <Jean-Christophe.Filliatre@cnrs.fr>"]


     

       
11

       
-

       
license: "LGPL-2.1"


     

       
12

       
 

       
homepage: "https://github.com/backtracking/ocaml-hashcons"


     

       
13

       
 

       
bug-reports: "https://github.com/backtracking/ocaml-hashcons/issues"


     

       
14

       
 

       
depends: [


     
···

       
8

       
 

       
<https://www.lri.fr/~filliatr/ftp/publis/hash-consing2.pdf>"""


     

       
9

       
 

       
maintainer: ["Jean-Christophe Filliatre <Jean-Christophe.Filliatre@cnrs.fr>"]


     

       
10

       
 

       
authors: ["Jean-Christophe Filliatre <Jean-Christophe.Filliatre@cnrs.fr>"]


     

       
11

       
+

       
license: "LGPL-2.1-only"


     

       
12

       
 

       
homepage: "https://github.com/backtracking/ocaml-hashcons"


     

       
13

       
 

       
bug-reports: "https://github.com/backtracking/ocaml-hashcons/issues"


     

       
14

       
 

       
depends: [