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

Merge pull request #26342 from ocaml/mseri-patch-1

Lem 2022 requires the native ocaml compiler

Marcello Seri 97973f54 4795e089

options
unified split
Changed files
+1
packages
lem
lem.2022-12-10
opam
+1
packages/lem/lem.2022-12-10/opam 
···

       
32

       
32

       
 

       
  "zarith" {>= "1.4"}


     

       
33

       
33

       
 

       
  "num"


     

       
34

       
34

       
 

       
]


     

       

       
35

       
+

       
conflicts: [ "ocaml-option-bytecode-only" ]


     

       
35

       
36

       
 

       
synopsis: "Lem is a tool for lightweight executable mathematics"


     

       
36

       
37

       
 

       
description: """


     

       
37

       
38

       
 

       
Lem is a tool for lightweight executable mathematics, for writing,