commit 6bef70c794029dcb9703b61ea2f1038231c29d78 · anil.recoil.org/opam-repository

+1 -1

packages/apron/apron.v0.9.12/opam

···

       5
       5
        
         "Antoine Miné"

     

       6
       6
        
         "https://github.com/antoinemine/apron/graphs/contributors"

     

       7
       7
        
       ]

     

       8
       8
       -
       license: "LGPL-2.1 with linking exception"

     

       8
       8
       +
       license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       9
       9
        
       homepage: "https://antoinemine.github.io/Apron/doc/"

     

       10
       10
        
       maintainer: "Nicolas Berthier <m@nberth.space>"

     

       11
       11
        
       dev-repo: "git+https://github.com/antoinemine/apron.git"

+1 -1

packages/apron/apron.v0.9.13/opam

···

       5
       5
        
         "Antoine Miné"

     

       6
       6
        
         "https://github.com/antoinemine/apron/graphs/contributors"

     

       7
       7
        
       ]

     

       8
       8
       -
       license: "LGPL-2.1 with linking exception"

     

       8
       8
       +
       license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"

     

       9
       9
        
       homepage: "https://antoinemine.github.io/Apron/doc/"

     

       10
       10
        
       maintainer: "Nicolas Berthier <m@nberth.space>"

     

       11
       11
        
       dev-repo: "git+https://github.com/antoinemine/apron.git"