commit 0855f65024f070b192f85e54dbfde14e2f834105 · anil.recoil.org/opam-repository

+2 -2

packages/ocamlgraph/ocamlgraph.1.8.1/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
       -
       maintainer: "filliatr@lri.fr"

     

       2
       2
       +
       maintainer: ["jean-christophe.filliatre@cnrs.fr"]

     

       3
       3
        
       authors: [

     

       4
       4
        
         "Sylvain Conchon"

     

       5
       5
        
         "Jean-Christophe Filliâtre"

     
···

       21
       21
        
       flags: light-uninstall

     

       22
       22
        
       extra-files: ["ocamlgraph.install" "md5=e0b715868e84ec4df4d6cdda25843466"]

     

       23
       23
        
       url {

     

       24
       24
       -
         src: "http://ocamlgraph.lri.fr/download/ocamlgraph-1.8.1.tar.gz"

     

       24
       24
       +
         src: "https://github.com/backtracking/ocamlgraph/releases/download/v1.8.1/ocamlgraph-1.8.1.tar.gz"

     

       25
       25
        
         checksum: "md5=5aa256e9587a6d264d189418230af698"

     

       26
       26
        
       }

+3 -3

packages/ocamlgraph/ocamlgraph.1.8.2/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
       -
       maintainer: "filliatr@lri.fr"

     

       2
       2
       +
       maintainer: ["jean-christophe.filliatre@cnrs.fr"]

     

       3
       3
        
       authors: [

     

       4
       4
        
         "Sylvain Conchon"

     

       5
       5
        
         "Jean-Christophe Filliâtre"

     

       6
       6
        
         "Julien Signoles"

     

       7
       7
        
       ]

     

       8
       8
       -
       homepage: "http://ocamlgraph.lri.fr/"

     

       8
       8
       +
       homepage: "https://github.com/backtracking/ocamlgraph/"

     

       9
       9
        
       license: "LGPL-2.1-only"

     

       10
       10
        
       build: [

     

       11
       11
        
         ["./configure"]

     
···

       21
       21
        
       flags: light-uninstall

     

       22
       22
        
       extra-files: ["ocamlgraph.install" "md5=e0b715868e84ec4df4d6cdda25843466"]

     

       23
       23
        
       url {

     

       24
       24
       -
         src: "http://ocamlgraph.lri.fr/download/ocamlgraph-1.8.2.tar.gz"

     

       24
       24
       +
         src: "https://github.com/backtracking/ocamlgraph/releases/download/v1.8.2/ocamlgraph-1.8.2.tar.gz"

     

       25
       25
        
         checksum: "md5=efa4394bc4651c90de443ff61c7477e6"

     

       26
       26
        
       }

+3 -4

packages/ocamlgraph/ocamlgraph.1.8.3/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
       -
       maintainer: "filliatr@lri.fr"

     

       2
       2
       +
       maintainer: ["jean-christophe.filliatre@cnrs.fr"]

     

       3
       3
        
       authors: [

     

       4
       4
        
         "Sylvain Conchon"

     

       5
       5
        
         "Jean-Christophe Filliâtre"

     

       6
       6
        
         "Julien Signoles"

     

       7
       7
        
       ]

     

       8
       8
       -
       homepage: "http://ocamlgraph.lri.fr/"

     

       8
       8
       +
       homepage: "https://github.com/backtracking/ocamlgraph/"

     

       9
       9
        
       license: "LGPL-2.1-only"

     

       10
       10
       -
       doc: ["http://ocamlgraph.lri.fr/doc"]

     

       11
       10
        
       dev-repo: "git+https://github.com/backtracking/ocamlgraph.git"

     

       12
       11
        
       bug-reports: "https://github.com/backtracking/ocamlgraph/issues"

     

       13
       12
        
       

     
···

       43
       42
        
         ["install-findlib-dgraph.patch" "md5=2e3851e1644a49c9152975a78637e479"]

     

       44
       43
        
       ]

     

       45
       44
        
       url {

     

       46
       46
       -
         src: "http://ocamlgraph.lri.fr/download/ocamlgraph-1.8.3.tar.gz"

     

       45
       45
       +
         src: "https://github.com/backtracking/ocamlgraph/releases/download/v1.8.3/ocamlgraph-1.8.3.tar.gz"

     

       47
       46
        
         checksum: "md5=ad2dc42f74c77dae9302c40cf2b5ff86"

     

       48
       47
        
       }

+3 -4

packages/ocamlgraph/ocamlgraph.1.8.5/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
       -
       maintainer: "filliatr@lri.fr"

     

       2
       2
       +
       maintainer: ["jean-christophe.filliatre@cnrs.fr"]

     

       3
       3
        
       authors: [

     

       4
       4
        
         "Sylvain Conchon"

     

       5
       5
        
         "Jean-Christophe Filliâtre"

     

       6
       6
        
         "Julien Signoles"

     

       7
       7
        
       ]

     

       8
       8
       -
       homepage: "http://ocamlgraph.lri.fr/"

     

       8
       8
       +
       homepage: "https://github.com/backtracking/ocamlgraph/"

     

       9
       9
        
       license: "LGPL-2.1-only"

     

       10
       10
       -
       doc: ["http://ocamlgraph.lri.fr/doc"]

     

       11
       10
        
       dev-repo: "git+https://github.com/backtracking/ocamlgraph.git"

     

       12
       11
        
       bug-reports: "https://github.com/backtracking/ocamlgraph/issues"

     

       13
       12
        
       

     
···

       40
       39
        
       flags: light-uninstall

     

       41
       40
        
       extra-files: ["ocamlgraph.install" "md5=e0b715868e84ec4df4d6cdda25843466"]

     

       42
       41
        
       url {

     

       43
       43
       -
         src: "http://ocamlgraph.lri.fr/download/ocamlgraph-1.8.5.tar.gz"

     

       42
       42
       +
         src: "https://github.com/backtracking/ocamlgraph/releases/download/v1.8.5/ocamlgraph-1.8.5.tar.gz"

     

       44
       43
        
         checksum: "md5=75dde65bfc3f9b07e795343d369aa84d"

     

       45
       44
        
       }

+3 -4

packages/ocamlgraph/ocamlgraph.1.8.6/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
       -
       maintainer: "filliatr@lri.fr"

     

       2
       2
       +
       maintainer: ["jean-christophe.filliatre@cnrs.fr"]

     

       3
       3
        
       authors: [

     

       4
       4
        
         "Sylvain Conchon"

     

       5
       5
        
         "Jean-Christophe Filliâtre"

     

       6
       6
        
         "Julien Signoles"

     

       7
       7
        
       ]

     

       8
       8
       -
       homepage: "http://ocamlgraph.lri.fr/"

     

       8
       8
       +
       homepage: "https://github.com/backtracking/ocamlgraph/"

     

       9
       9
        
       license: "LGPL-2.1-only"

     

       10
       10
       -
       doc: ["http://ocamlgraph.lri.fr/doc"]

     

       11
       10
        
       dev-repo: "git+https://github.com/backtracking/ocamlgraph.git"

     

       12
       11
        
       bug-reports: "https://github.com/backtracking/ocamlgraph/issues"

     

       13
       12
        
       

     
···

       39
       38
        
       synopsis: "A generic graph library for OCaml"

     

       40
       39
        
       flags: light-uninstall

     

       41
       40
        
       url {

     

       42
       42
       -
         src: "http://ocamlgraph.lri.fr/download/ocamlgraph-1.8.6.tar.gz"

     

       41
       41
       +
         src: "https://github.com/backtracking/ocamlgraph/releases/download/v186/ocamlgraph-1.8.6.tar.gz"

     

       43
       42
        
         checksum: "md5=afbc24f0e0eb72c2d3eda64b68513e73"

     

       44
       43
        
       }

+3 -4

packages/ocamlgraph/ocamlgraph.1.8.7/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
       -
       maintainer: "filliatr@lri.fr"

     

       2
       2
       +
       maintainer: ["jean-christophe.filliatre@cnrs.fr"]

     

       3
       3
        
       authors: [

     

       4
       4
        
         "Sylvain Conchon"

     

       5
       5
        
         "Jean-Christophe Filliâtre"

     

       6
       6
        
         "Julien Signoles"

     

       7
       7
        
       ]

     

       8
       8
       -
       homepage: "http://ocamlgraph.lri.fr/"

     

       8
       8
       +
       homepage: "https://github.com/backtracking/ocamlgraph/"

     

       9
       9
        
       license: "LGPL-2.1-only"

     

       10
       10
       -
       doc: ["http://ocamlgraph.lri.fr/doc"]

     

       11
       10
        
       dev-repo: "git+https://github.com/backtracking/ocamlgraph.git"

     

       12
       11
        
       bug-reports: "https://github.com/backtracking/ocamlgraph/issues"

     

       13
       12
        
       

     
···

       39
       38
        
       synopsis: "A generic graph library for OCaml"

     

       40
       39
        
       flags: light-uninstall

     

       41
       40
        
       url {

     

       42
       42
       -
         src: "http://ocamlgraph.lri.fr/download/ocamlgraph-1.8.7.tar.gz"

     

       41
       41
       +
         src: "https://github.com/backtracking/ocamlgraph/releases/download/v1.8.7/ocamlgraph-1.8.7.tar.gz"

     

       43
       42
        
         checksum: "md5=e733b8309b9374e89d96e907ecaf4f76"

     

       44
       43
        
       }

+3 -4

packages/ocamlgraph/ocamlgraph.1.8.8/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
       -
       maintainer: "filliatr@lri.fr"

     

       2
       2
       +
       maintainer: ["jean-christophe.filliatre@cnrs.fr"]

     

       3
       3
        
       authors: [

     

       4
       4
        
         "Sylvain Conchon"

     

       5
       5
        
         "Jean-Christophe Filliâtre"

     

       6
       6
        
         "Julien Signoles"

     

       7
       7
        
       ]

     

       8
       8
       -
       homepage: "http://ocamlgraph.lri.fr/"

     

       8
       8
       +
       homepage: "https://github.com/backtracking/ocamlgraph/"

     

       9
       9
        
       license: "LGPL-2.1-only"

     

       10
       10
       -
       doc: ["http://ocamlgraph.lri.fr/doc"]

     

       11
       10
        
       dev-repo: "git+https://github.com/backtracking/ocamlgraph.git"

     

       12
       11
        
       bug-reports: "https://github.com/backtracking/ocamlgraph/issues"

     

       13
       12
        
       

     
···

       39
       38
        
       synopsis: "A generic graph library for OCaml"

     

       40
       39
        
       flags: light-uninstall

     

       41
       40
        
       url {

     

       42
       42
       -
         src: "http://ocamlgraph.lri.fr/download/ocamlgraph-1.8.8.tar.gz"

     

       41
       41
       +
         src: "https://github.com/backtracking/ocamlgraph/releases/download/v1.8.8/ocamlgraph-1.8.8.tar.gz"

     

       43
       42
        
         checksum: "md5=9d71ca69271055bd22d0dfe4e939831a"

     

       44
       43
        
       }

+1 -1

packages/ocamlgraph/ocamlgraph.2.0.0/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       synopsis: "A generic graph library for OCaml"

     

       3
       3
        
       description: "Provides both graph data structures and graph algorithms"

     

       4
       4
       -
       maintainer: ["filliatr@lri.fr"]

     

       4
       4
       +
       maintainer: ["jean-christophe.filliatre@cnrs.fr"]

     

       5
       5
        
       authors: ["Sylvain Conchon" "Jean-Christophe Filliâtre" "Julien Signoles"]

     

       6
       6
        
       license: "LGPL-2.1-only"

     

       7
       7
        
       tags: [