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

Merge pull request #23131 from tmattio/ocaml5-tptp

Do not build tptp.0.3.2 on OCaml 5

Kate 22dfc8f8 65530c5f

options
unified split
Changed files
+1 -1
packages
tptp
tptp.0.3.2
opam
+1 -1
packages/tptp/tptp.0.3.2/opam 
···

       
11

       
 

       
install: ["ocaml" "setup.ml" "-install"]


     

       
12

       
 

       
remove: ["ocamlfind" "remove" "tptp"]


     

       
13

       
 

       
depends: [


     

       
14

       
-

       
  "ocaml"


     

       
15

       
 

       
  "ocamlfind"


     

       
16

       
 

       
  "zarith"


     

       
17

       
 

       
  "pprint"


     
···

       
11

       
 

       
install: ["ocaml" "setup.ml" "-install"]


     

       
12

       
 

       
remove: ["ocamlfind" "remove" "tptp"]


     

       
13

       
 

       
depends: [


     

       
14

       
+

       
  "ocaml" {< "5.0.0"}


     

       
15

       
 

       
  "ocamlfind"


     

       
16

       
 

       
  "zarith"


     

       
17

       
 

       
  "pprint"