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

Existing versions of asli need pprint < 20220103.

François Pottier d6082cc1 0c2b748f

options
unified split
Changed files
+2 -2
packages
asli
asli.0.1
opam
asli.0.2.0
opam
+1 -1
packages/asli/asli.0.1/opam 
···

       
19

       
19

       
 

       
  "ocamlbuild" {build}


     

       
20

       
20

       
 

       
  "ocamlfind" {build}


     

       
21

       
21

       
 

       
  "ott" {< "0.31"}


     

       
22

       

       
-

       
  "pprint"


     

       

       
22

       
+

       
  "pprint" {< "20220103"}


     

       
23

       
23

       
 

       
  "zarith"


     

       
24

       
24

       
 

       
  "z3" {<= "4.7.1"}


     

       
25

       
25

       
 

       
]
+1 -1
packages/asli/asli.0.2.0/opam 
···

       
18

       
18

       
 

       
  "menhir" {build}


     

       
19

       
19

       
 

       
  "ott" {< "0.31" & build}


     

       
20

       
20

       
 

       
  "linenoise"


     

       
21

       

       
-

       
  "pprint"


     

       

       
21

       
+

       
  "pprint" {< "20220103"}


     

       
22

       
22

       
 

       
  "zarith"


     

       
23

       
23

       
 

       
  "z3" {>= "4.8.7"}


     

       
24

       
24

       
 

       
  "alcotest" {with-test}