commit c4674f88a94ab24b16cc1e230859cf32e289f87a · anil.recoil.org/opam-repository

+1 -1

packages/alt-ergo-lib/alt-ergo-lib.2.3.0/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       authors: "Alt-Ergo developers"

     

       3
       3
        
       maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"

     

       4
       4
       -
       license: "OCamlPro Non-Commercial Purpose License, version 1"

     

       4
       4
       +
       license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       5
       5
        
       build: [

     

       6
       6
        
         ["ocaml" "unix.cma" "configure.ml" name]

     

       7
       7
        
         ["dune" "subst"] {dev}

+1 -1

packages/alt-ergo-lib/alt-ergo-lib.2.3.1/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       authors: "Alt-Ergo developers"

     

       3
       3
        
       maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"

     

       4
       4
       -
       license: "OCamlPro Non-Commercial Purpose License, version 1"

     

       4
       4
       +
       license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       5
       5
        
       build: [

     

       6
       6
        
         ["ocaml" "unix.cma" "configure.ml" name]

     

       7
       7
        
         ["dune" "subst"] {dev}

+1 -1

packages/alt-ergo-lib/alt-ergo-lib.2.3.2/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       authors: "Alt-Ergo developers"

     

       3
       3
        
       maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"

     

       4
       4
       -
       license: "OCamlPro Non-Commercial Purpose License, version 1"

     

       4
       4
       +
       license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       5
       5
        
       build: [

     

       6
       6
        
         ["ocaml" "unix.cma" "configure.ml" name]

     

       7
       7
        
         ["dune" "subst"] {dev}

+1 -1

packages/alt-ergo-lib/alt-ergo-lib.2.3.3/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       authors: "Alt-Ergo developers"

     

       3
       3
        
       maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"

     

       4
       4
       -
       license: "OCamlPro Non-Commercial Purpose License, version 1"

     

       4
       4
       +
       license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       5
       5
        
       build: [

     

       6
       6
        
         ["./configure" name]

     

       7
       7
        
         ["dune" "subst"] {dev}

+1 -1

packages/alt-ergo-lib/alt-ergo-lib.2.4.0/opam

···

       27
       27
        
       # and not alt-ergo-lib.opam which is generated by dune

     

       28
       28
        
       

     

       29
       29
        
       license: [

     

       30
       30
       -
         "OCamlPro Non-Commercial Purpose License, version 1"

     

       30
       30
       +
         "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       31
       31
        
       ]

     

       32
       32
        
       

     

       33
       33
        
       build: [

+1 -1

packages/alt-ergo-lib/alt-ergo-lib.2.4.1/opam

···

       27
       27
        
       # and not alt-ergo-lib.opam which is generated by dune

     

       28
       28
        
       

     

       29
       29
        
       license: [

     

       30
       30
       -
         "OCamlPro Non-Commercial Purpose License, version 1"

     

       30
       30
       +
         "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       31
       31
        
       ]

     

       32
       32
        
       

     

       33
       33
        
       build: [

+1 -1

packages/alt-ergo-lib/alt-ergo-lib.2.4.2/opam

···

       28
       28
        
       tags: "org:OCamlPro"

     

       29
       29
        
       

     

       30
       30
        
       license: [

     

       31
       31
       -
         "OCamlPro Non-Commercial Purpose License, version 1"

     

       31
       31
       +
         "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       32
       32
        
       ]

     

       33
       33
        
       

     

       34
       34
        
       build: [

+1 -1

packages/alt-ergo-parsers/alt-ergo-parsers.2.3.0/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       authors: "Alt-Ergo developers"

     

       3
       3
        
       maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"

     

       4
       4
       -
       license: "OCamlPro Non-Commercial Purpose License, version 1"

     

       4
       4
       +
       license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       5
       5
        
       build: [

     

       6
       6
        
         ["ocaml" "unix.cma" "configure.ml" name]

     

       7
       7
        
         ["dune" "subst"] {dev}

+1 -1

packages/alt-ergo-parsers/alt-ergo-parsers.2.3.1/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       authors: "Alt-Ergo developers"

     

       3
       3
        
       maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"

     

       4
       4
       -
       license: "OCamlPro Non-Commercial Purpose License, version 1"

     

       4
       4
       +
       license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       5
       5
        
       build: [

     

       6
       6
        
         ["ocaml" "unix.cma" "configure.ml" name]

     

       7
       7
        
         ["dune" "subst"] {dev}

+1 -1

packages/alt-ergo-parsers/alt-ergo-parsers.2.3.2/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       authors: "Alt-Ergo developers"

     

       3
       3
        
       maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"

     

       4
       4
       -
       license: "OCamlPro Non-Commercial Purpose License, version 1"

     

       4
       4
       +
       license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       5
       5
        
       build: [

     

       6
       6
        
         ["ocaml" "unix.cma" "configure.ml" name]

     

       7
       7
        
         ["dune" "subst"] {dev}

+1 -1

packages/alt-ergo-parsers/alt-ergo-parsers.2.3.3/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       authors: "Alt-Ergo developers"

     

       3
       3
        
       maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"

     

       4
       4
       -
       license: "OCamlPro Non-Commercial Purpose License, version 1"

     

       4
       4
       +
       license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       5
       5
        
       build: [

     

       6
       6
        
         ["./configure" name]

     

       7
       7
        
         ["dune" "subst"] {dev}

+1 -1

packages/alt-ergo-parsers/alt-ergo-parsers.2.4.0/opam

···

       26
       26
        
       # and not alt-ergo-parsers.opam which is generated by dune

     

       27
       27
        
       

     

       28
       28
        
       license: [

     

       29
       29
       -
         "OCamlPro Non-Commercial Purpose License, version 1"

     

       29
       29
       +
         "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       30
       30
        
       ]

     

       31
       31
        
       

     

       32
       32
        
       build: [

+1 -1

packages/alt-ergo-parsers/alt-ergo-parsers.2.4.1/opam

···

       26
       26
        
       # and not alt-ergo-parsers.opam which is generated by dune

     

       27
       27
        
       

     

       28
       28
        
       license: [

     

       29
       29
       -
         "OCamlPro Non-Commercial Purpose License, version 1"

     

       29
       29
       +
         "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       30
       30
        
       ]

     

       31
       31
        
       

     

       32
       32
        
       build: [

+1 -1

packages/alt-ergo-parsers/alt-ergo-parsers.2.4.2/opam

···

       27
       27
        
       tags: "org:OCamlPro"

     

       28
       28
        
       

     

       29
       29
        
       license: [

     

       30
       30
       -
         "OCamlPro Non-Commercial Purpose License, version 1"

     

       30
       30
       +
         "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       31
       31
        
       ]

     

       32
       32
        
       

     

       33
       33
        
       build: [

+1 -1

packages/alt-ergo/alt-ergo.2.3.0/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       authors: "Alt-Ergo developers"

     

       3
       3
        
       maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"

     

       4
       4
       -
       license: "OCamlPro Non-Commercial Purpose License, version 1"

     

       4
       4
       +
       license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       5
       5
        
       build: [

     

       6
       6
        
         ["ocaml" "unix.cma" "configure.ml" name]

     

       7
       7
        
         ["dune" "subst"] {dev}

+1 -1

packages/alt-ergo/alt-ergo.2.3.1/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       authors: "Alt-Ergo developers"

     

       3
       3
        
       maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"

     

       4
       4
       -
       license: "OCamlPro Non-Commercial Purpose License, version 1"

     

       4
       4
       +
       license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       5
       5
        
       build: [

     

       6
       6
        
         ["ocaml" "unix.cma" "configure.ml" name]

     

       7
       7
        
         ["dune" "subst"] {dev}

+1 -1

packages/alt-ergo/alt-ergo.2.3.2/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       authors: "Alt-Ergo developers"

     

       3
       3
        
       maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"

     

       4
       4
       -
       license: "OCamlPro Non-Commercial Purpose License, version 1"

     

       4
       4
       +
       license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       5
       5
        
       build: [

     

       6
       6
        
         ["ocaml" "unix.cma" "configure.ml" name]

     

       7
       7
        
         ["dune" "subst"] {dev}

+1 -1

packages/alt-ergo/alt-ergo.2.3.3/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       authors: "Alt-Ergo developers"

     

       3
       3
        
       maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"

     

       4
       4
       -
       license: "OCamlPro Non-Commercial Purpose License, version 1"

     

       4
       4
       +
       license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       5
       5
        
       build: [

     

       6
       6
        
         ["./configure" name]

     

       7
       7
        
         ["dune" "subst"] {dev}

+1 -1

packages/alt-ergo/alt-ergo.2.4.0/opam

···

       23
       23
        
       # and not alt-ergo.opam which is generated by dune

     

       24
       24
        
       

     

       25
       25
        
       license: [

     

       26
       26
       -
         "OCamlPro Non-Commercial Purpose License, version 1"

     

       26
       26
       +
         "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       27
       27
        
         "LGPL-2.1-only"

     

       28
       28
        
       ]

     

       29
       29

+1 -1

packages/alt-ergo/alt-ergo.2.4.1/opam

···

       23
       23
        
       # and not alt-ergo.opam which is generated by dune

     

       24
       24
        
       

     

       25
       25
        
       license: [

     

       26
       26
       -
         "OCamlPro Non-Commercial Purpose License, version 1"

     

       26
       26
       +
         "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       27
       27
        
         "LGPL-2.1-only"

     

       28
       28
        
       ]

     

       29
       29

+1 -1

packages/alt-ergo/alt-ergo.2.4.2/opam

···

       24
       24
        
       tags: "org:OCamlPro"

     

       25
       25
        
       

     

       26
       26
        
       license: [

     

       27
       27
       -
         "OCamlPro Non-Commercial Purpose License, version 1"

     

       27
       27
       +
         "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       28
       28
        
         "LGPL-2.1-only"

     

       29
       29
        
       ]

     

       30
       30

+1 -1

packages/altgr-ergo/altgr-ergo.2.3.0/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       authors: "Alt-Ergo developers"

     

       3
       3
        
       maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"

     

       4
       4
       -
       license: "OCamlPro Non-Commercial Purpose License, version 1"

     

       4
       4
       +
       license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       5
       5
        
       build: [

     

       6
       6
        
         ["ocaml" "unix.cma" "configure.ml" name]

     

       7
       7
        
         ["dune" "subst"] {dev}

+1 -1

packages/altgr-ergo/altgr-ergo.2.3.1/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       authors: "Alt-Ergo developers"

     

       3
       3
        
       maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"

     

       4
       4
       -
       license: "OCamlPro Non-Commercial Purpose License, version 1"

     

       4
       4
       +
       license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       5
       5
        
       build: [

     

       6
       6
        
         ["ocaml" "unix.cma" "configure.ml" name]

     

       7
       7
        
         ["dune" "subst"] {dev}

+1 -1

packages/altgr-ergo/altgr-ergo.2.3.2/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       authors: "Alt-Ergo developers"

     

       3
       3
        
       maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"

     

       4
       4
       -
       license: "OCamlPro Non-Commercial Purpose License, version 1"

     

       4
       4
       +
       license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       5
       5
        
       build: [

     

       6
       6
        
         ["ocaml" "unix.cma" "configure.ml" name]

     

       7
       7
        
         ["dune" "subst"] {dev}

+1 -1

packages/altgr-ergo/altgr-ergo.2.3.3/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
        
       authors: "Alt-Ergo developers"

     

       3
       3
        
       maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"

     

       4
       4
       -
       license: "OCamlPro Non-Commercial Purpose License, version 1"

     

       4
       4
       +
       license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       5
       5
        
       build: [

     

       6
       6
        
         ["./configure" name]

     

       7
       7
        
         ["dune" "subst"] {dev}

+1 -1

packages/altgr-ergo/altgr-ergo.2.4.0/opam

···

       26
       26
        
       # and not altgr-ergo.opam which is generated by dune

     

       27
       27
        
       

     

       28
       28
        
       license: [

     

       29
       29
       -
         "OCamlPro Non-Commercial Purpose License, version 1"

     

       29
       29
       +
         "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       30
       30
        
       ]

     

       31
       31
        
       

     

       32
       32
        
       build: [

+1 -1

packages/altgr-ergo/altgr-ergo.2.4.1/opam

···

       26
       26
        
       # and not altgr-ergo.opam which is generated by dune

     

       27
       27
        
       

     

       28
       28
        
       license: [

     

       29
       29
       -
         "OCamlPro Non-Commercial Purpose License, version 1"

     

       29
       29
       +
         "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       30
       30
        
       ]

     

       31
       31
        
       

     

       32
       32
        
       build: [

+1 -1

packages/altgr-ergo/altgr-ergo.2.4.2/opam

···

       28
       28
        
       tags: "org:OCamlPro"

     

       29
       29
        
       

     

       30
       30
        
       license: [

     

       31
       31
       -
         "OCamlPro Non-Commercial Purpose License, version 1"

     

       31
       31
       +
         "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"

     

       32
       32
        
       ]

     

       33
       33
        
       

     

       34
       34
        
       build: [