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

Merge pull request #22921 from kit-ty-kate/fix-200

zenon < 0.8.5 is not compatible with OCaml 5.0 (uses Pervasives)

Kate e114a3c9 3487c757

options
unified split
Changed files
+1 -1
packages
zenon
zenon.0.8.4
opam
+1 -1
packages/zenon/zenon.0.8.4/opam 
···

       
5

       
 

       
authors: [ "R. Bonichon" "D. Delahaye" "D. Doligez" ]


     

       
6

       
 

       
bug-reports: "https://github.com/zenon-prover/zenon/issues"


     

       
7

       
 

       
depends: [


     

       
8

       
-

       
  "ocaml" {>= "4.02.0"}


     

       
9

       
 

       
]


     

       
10

       
 

       
depopts: [


     

       
11

       
 

       
  "coq"


     
···

       
5

       
 

       
authors: [ "R. Bonichon" "D. Delahaye" "D. Doligez" ]


     

       
6

       
 

       
bug-reports: "https://github.com/zenon-prover/zenon/issues"


     

       
7

       
 

       
depends: [


     

       
8

       
+

       
  "ocaml" {>= "4.02.0" & < "5.0"}


     

       
9

       
 

       
]


     

       
10

       
 

       
depopts: [


     

       
11

       
 

       
  "coq"