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

+2 -2

packages/coq-serapi/coq-serapi.8.7.1+0.4.1/opam

···

       14
       14
        
         "ocamlbuild" {build}

     

       15
       15
        
         "ppx_import" {>= "1.4"}

     

       16
       16
        
         "ppx_deriving" {>= "4.2.1"}

     

       17
       17
       -
         "cmdliner"

     

       17
       17
       +
         "cmdliner" {>= "0.9.6" & < "1.1.0" }

     

       18
       18
        
         "sexplib" {< "v0.15"}

     

       19
       19
        
         "ppx_driver" {build & >= "v0.10.1"}

     

       20
       20
        
         "ppx_sexp_conv" {< "v0.11.0"}

     
···

       23
       23
        
       install: [ "cp" "sertop.native" "%{bin}%/sertop" ]

     

       24
       24
        
       remove:  [ "rm" "-f" "%{bin}%/sertop" ]

     

       25
       25
        
       synopsis:

     

       26
       26
       -
         "Sexp Protocol for machine-based interaction with the Coq Proof Assistant."

     

       26
       26
       +
         "Sexp Protocol for machine-based interaction with the Coq Proof Assistant"

     

       27
       27
        
       flags: light-uninstall

     

       28
       28
        
       url {

     

       29
       29
        
         src: "https://github.com/ejgallego/coq-serapi/archive/8.7.1+0.4.1.tar.gz"

+2 -2

packages/coq-serapi/coq-serapi.8.7.1+0.4.12/opam

···

       10
       10
        
         "ocaml" {>= "4.06.0"}

     

       11
       11
        
         "coq" {>= "8.7.2" & < "8.8"}

     

       12
       12
        
         "camlp5"

     

       13
       13
       -
         "cmdliner"

     

       13
       13
       +
         "cmdliner" {>= "0.9.8" & < "1.1.0"}

     

       14
       14
        
         "sexplib" {< "v0.15"}

     

       15
       15
        
         "ocamlfind" {build}

     

       16
       16
        
         "ocamlbuild" {build}

     
···

       25
       25
        
       remove:  [[ "rm" "-f" "%{bin}%/sertop" ]

     

       26
       26
        
                 [ "rm" "-f" "%{bin}%/sercomp"]]

     

       27
       27
        
       synopsis:

     

       28
       28
       -
         "Sexp Protocol for machine-based interaction with the Coq Proof Assistant."

     

       28
       28
       +
         "Sexp Protocol for machine-based interaction with the Coq Proof Assistant"

     

       29
       29
        
       flags: light-uninstall

     

       30
       30
        
       url {

     

       31
       31
        
         src: "https://github.com/ejgallego/coq-serapi/archive/8.7.2+0.4.12.tar.gz"

+2 -2

packages/coq-serapi/coq-serapi.8.7.1+0.4.2/opam

···

       10
       10
        
         "ocaml" {>= "4.06.0"}

     

       11
       11
        
         "coq" {>= "8.7.1+1" & < "8.8"}

     

       12
       12
        
         "camlp5"

     

       13
       13
       -
         "cmdliner"

     

       13
       13
       +
         "cmdliner" {>= "0.9.6" & < "1.1.0"}

     

       14
       14
        
         "sexplib" {< "v0.15"}

     

       15
       15
        
         "ocamlfind" {build}

     

       16
       16
        
         "ocamlbuild" {build}

     
···

       23
       23
        
       install: [ "cp" "sertop.native" "%{bin}%/sertop" ]

     

       24
       24
        
       remove:  [ "rm" "-f" "%{bin}%/sertop" ]

     

       25
       25
        
       synopsis:

     

       26
       26
       -
         "Sexp Protocol for machine-based interaction with the Coq Proof Assistant."

     

       26
       26
       +
         "Sexp Protocol for machine-based interaction with the Coq Proof Assistant"

     

       27
       27
        
       flags: light-uninstall

     

       28
       28
        
       url {

     

       29
       29
        
         src: "https://github.com/ejgallego/coq-serapi/archive/8.7.1+0.4.2.tar.gz"

+2 -2

packages/coq-serapi/coq-serapi.8.7.1+0.4.8/opam

···

       10
       10
        
         "ocaml" {>= "4.06.0"}

     

       11
       11
        
         "coq" {>= "8.7.1+2" & < "8.8"}

     

       12
       12
        
         "camlp5"

     

       13
       13
       -
         "cmdliner"

     

       13
       13
       +
         "cmdliner" {>= "0.9.8" & < "1.1.0"}

     

       14
       14
        
         "sexplib" {< "v0.15"}

     

       15
       15
        
         "ocamlfind" {build}

     

       16
       16
        
         "ocamlbuild" {build}

     
···

       25
       25
        
       remove:  [[ "rm" "-f" "%{bin}%/sertop" ]

     

       26
       26
        
                 [ "rm" "-f" "%{bin}%/sercomp"]]

     

       27
       27
        
       synopsis:

     

       28
       28
       -
         "Sexp Protocol for machine-based interaction with the Coq Proof Assistant."

     

       28
       28
       +
         "Sexp Protocol for machine-based interaction with the Coq Proof Assistant"

     

       29
       29
        
       flags: light-uninstall

     

       30
       30
        
       url {

     

       31
       31
        
         src: "https://github.com/ejgallego/coq-serapi/archive/8.7.1+0.4.8.tar.gz"

+2 -2

packages/coq-serapi/coq-serapi.8.7.1+0.4/opam

···

       14
       14
        
         "ocamlbuild" {build}

     

       15
       15
        
         "ppx_import" {>= "1.4"}

     

       16
       16
        
         "ppx_deriving" {>= "4.2.1"}

     

       17
       17
       -
         "cmdliner"

     

       17
       17
       +
         "cmdliner" {>= "0.9.6" & < "1.1.0"}

     

       18
       18
        
         "sexplib" {< "v0.15"}

     

       19
       19
        
         "ppx_driver" {build & >= "v0.10.1"}

     

       20
       20
        
         "ppx_sexp_conv" {< "v0.11.0"}

     
···

       23
       23
        
       install: [ "cp" "sertop.native" "%{bin}%/sertop" ]

     

       24
       24
        
       remove:  [ "rm" "-f" "%{bin}%/sertop" ]

     

       25
       25
        
       synopsis:

     

       26
       26
       -
         "Sexp Protocol for machine-based interaction with the Coq Proof Assistant."

     

       26
       26
       +
         "Sexp Protocol for machine-based interaction with the Coq Proof Assistant"

     

       27
       27
        
       flags: light-uninstall

     

       28
       28
        
       url {

     

       29
       29
        
         src: "https://github.com/ejgallego/coq-serapi/archive/8.7.1+0.4.tar.gz"

+2 -2

packages/coq-serapi/coq-serapi.8.7.2+0.4.13/opam

···

       10
       10
        
         "ocaml" {>= "4.06.0" & < "4.07.0" }

     

       11
       11
        
         "coq" {>= "8.7.2" & < "8.8"}

     

       12
       12
        
         "camlp5"

     

       13
       13
       -
         "cmdliner"

     

       13
       13
       +
         "cmdliner" {>= "0.9.8" & < "1.1.0"}

     

       14
       14
        
         "sexplib" {< "v0.13"}

     

       15
       15
        
         "ocamlfind" {build}

     

       16
       16
        
         "ocamlbuild" {build}

     
···

       24
       24
        
       remove:  [[ "rm" "-f" "%{bin}%/sertop" ]

     

       25
       25
        
                 [ "rm" "-f" "%{bin}%/sercomp"]]

     

       26
       26
        
       synopsis:

     

       27
       27
       -
         "Sexp Protocol for machine-based interaction with the Coq Proof Assistant."

     

       27
       27
       +
         "Sexp Protocol for machine-based interaction with the Coq Proof Assistant"

     

       28
       28
        
       flags: light-uninstall

     

       29
       29
        
       url {

     

       30
       30
        
         src: "https://github.com/ejgallego/coq-serapi/archive/8.7.2+0.4.13.tar.gz"

+2 -2

packages/coq-serapi/coq-serapi.8.8.0+0.5.1/opam

···

       10
       10
        
         "ocaml" {>= "4.06.0" & < "4.07.0"}

     

       11
       11
        
         "coq" {>= "8.8.0" & < "8.9"}

     

       12
       12
        
         "camlp5"

     

       13
       13
       -
         "cmdliner"

     

       13
       13
       +
         "cmdliner" {>= "0.9.8" & < "1.1.0"}

     

       14
       14
        
         "sexplib" {< "v0.13"}

     

       15
       15
        
         "ocamlfind" {build}

     

       16
       16
        
         "ocamlbuild" {build}

     
···

       20
       20
        
       ]

     

       21
       21
        
       build:    [ make "-j%{jobs}%" "TARGET=native" ]

     

       22
       22
        
       synopsis:

     

       23
       23
       -
         "Sexp Protocol for machine-based interaction with the Coq Proof Assistant."

     

       23
       23
       +
         "Sexp Protocol for machine-based interaction with the Coq Proof Assistant"

     

       24
       24
        
       extra-files: ["coq-serapi.install" "md5=5f618a1d7a4105aaac53506065bf7d8b"]

     

       25
       25
        
       url {

     

       26
       26
        
         src: "https://github.com/ejgallego/coq-serapi/archive/8.8.0+0.5.1.tar.gz"

+2 -2

packages/coq-serapi/coq-serapi.8.8.0+0.5.2/opam

···

       10
       10
        
         "ocaml" {>= "4.06.0"}

     

       11
       11
        
         "coq" {>= "8.8.0" & < "8.9"}

     

       12
       12
        
         "camlp5"

     

       13
       13
       -
         "cmdliner"

     

       13
       13
       +
         "cmdliner" {>= "0.9.8" & < "1.1.0"}

     

       14
       14
        
         "sexplib" {< "v0.13"}

     

       15
       15
        
         "ocamlfind" {build}

     

       16
       16
        
         "ocamlbuild" {build}

     
···

       20
       20
        
       ]

     

       21
       21
        
       build:    [ make "-j%{jobs}%" "TARGET=native" ]

     

       22
       22
        
       synopsis:

     

       23
       23
       -
         "Sexp Protocol for machine-based interaction with the Coq Proof Assistant."

     

       23
       23
       +
         "Sexp Protocol for machine-based interaction with the Coq Proof Assistant"

     

       24
       24
        
       extra-files: ["coq-serapi.install" "md5=5f618a1d7a4105aaac53506065bf7d8b"]

     

       25
       25
        
       url {

     

       26
       26
        
         src: "https://github.com/ejgallego/coq-serapi/archive/8.8.0+0.5.2.tar.gz"

+2 -2

packages/coq-serapi/coq-serapi.8.8.0+0.5.3/opam

···

       10
       10
        
         "ocaml" {>= "4.06.0"}

     

       11
       11
        
         "coq" {>= "8.8.0" & < "8.9"}

     

       12
       12
        
         "camlp5"

     

       13
       13
       -
         "cmdliner"

     

       13
       13
       +
         "cmdliner" {>= "0.9.8" & < "1.1.0" }

     

       14
       14
        
         "sexplib" {< "v0.13"}

     

       15
       15
        
         "ocamlfind" {build}

     

       16
       16
        
         "ocamlbuild" {build}

     
···

       20
       20
        
       ]

     

       21
       21
        
       build:    [ make "-j%{jobs}%" "TARGET=native" ]

     

       22
       22
        
       synopsis:

     

       23
       23
       -
         "Sexp Protocol for machine-based interaction with the Coq Proof Assistant."

     

       23
       23
       +
         "Sexp Protocol for machine-based interaction with the Coq Proof Assistant"

     

       24
       24
        
       extra-files: ["coq-serapi.install" "md5=5f618a1d7a4105aaac53506065bf7d8b"]

     

       25
       25
        
       url {

     

       26
       26
        
         src: "https://github.com/ejgallego/coq-serapi/archive/8.8.0+0.5.3.tar.gz"

+1 -1

packages/coq-serapi/coq-serapi.8.8.0+0.5.4/opam

···

       11
       11
        
         "ocaml" {>= "4.06.0"}

     

       12
       12
        
         "coq" {>= "8.8.0" & < "8.9"}

     

       13
       13
        
         "camlp5"

     

       14
       14
       -
         "cmdliner"

     

       14
       14
       +
         "cmdliner" {>= "0.9.8" & < "1.1.0"}

     

       15
       15
        
         "sexplib" {< "v0.13"}

     

       16
       16
        
         "ocamlfind" {build}

     

       17
       17
        
         "ocamlbuild" {build}

+1 -1

packages/coq-serapi/coq-serapi.8.8.0+0.5.5/opam

···

       11
       11
        
         "ocaml" {>= "4.06.0"}

     

       12
       12
        
         "coq" {>= "8.8.0" & < "8.9"}

     

       13
       13
        
         "camlp5"

     

       14
       14
       -
         "cmdliner"

     

       14
       14
       +
         "cmdliner" {>= "0.9.8" & < "1.1.0"}

     

       15
       15
        
         "sexplib" {< "v0.13"}

     

       16
       16
        
         "ocamlfind" {build}

     

       17
       17
        
         "ocamlbuild" {build}

+1 -1

packages/coq-serapi/coq-serapi.8.8.0+0.5.6/opam

···

       11
       11
        
         "ocaml" {>= "4.06.0"}

     

       12
       12
        
         "coq" {>= "8.8.0" & < "8.9"}

     

       13
       13
        
         "camlp5"

     

       14
       14
       -
         "cmdliner"

     

       14
       14
       +
         "cmdliner" {>= "0.9.8" & < "1.1.0"}

     

       15
       15
        
         "sexplib" {< "v0.13"}

     

       16
       16
        
         "ocamlfind" {build}

     

       17
       17
        
         "ocamlbuild" {build}

+1 -1

packages/ppx_deriving/ppx_deriving.4.4.1/opam

···

       14
       14
        
         ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}

     

       15
       15
        
       ]

     

       16
       16
        
       depends: [

     

       17
       17
       -
         "dune"     {>= "1.6.3"}

     

       17
       17
       +
         "dune"     {>= "1.6.3" & < "3.0"}

     

       18
       18
        
         "cppo"     {build & >= "1.2.2"}

     

       19
       19
        
         "ppxfind"  {build}

     

       20
       20
        
         "ocaml-migrate-parsetree" {< "2.0.0"}

+1 -1

packages/ppx_deriving/ppx_deriving.4.4/opam

···

       14
       14
        
         ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}

     

       15
       15
        
       ]

     

       16
       16
        
       depends: [

     

       17
       17
       -
         "dune"     {>= "1.6.3"}

     

       17
       17
       +
         "dune"     {>= "1.6.3" & < "3.0"}

     

       18
       18
        
         "cppo"     {build & >= "1.2.2"}

     

       19
       19
        
         "ppxfind"  {build}

     

       20
       20
        
         "ocaml-migrate-parsetree" {< "2.0.0"}