this repo has no description
Package lem.2025-03-13
+52
+52
packages/lem/lem.2025-03-13/opam
+52
packages/lem/lem.2025-03-13/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "Lem Devs <cl-lem-dev@lists.cam.ac.uk>"
3
+
authors: [
4
+
"Dominic Mulligan"
5
+
"Francesco Zappa Nardelli"
6
+
"Gabriel Kerneis"
7
+
"Kathy Gray"
8
+
"Peter Boehm"
9
+
"Peter Sewell"
10
+
"Scott Owens"
11
+
"Thomas Tuerk"
12
+
"Brian Campbell"
13
+
"Shaked Flur"
14
+
"Thomas Bauereiss"
15
+
"Stephen Kell"
16
+
"Thomas Williams"
17
+
"Lars Hupel"
18
+
"Basile Clement"
19
+
]
20
+
homepage: "http://www.cl.cam.ac.uk/~pes20/lem/"
21
+
bug-reports: "https://github.com/rems-project/lem/issues"
22
+
license: ["BSD-3-Clause" "LGPL-2.1-or-later"]
23
+
dev-repo: "git+https://github.com/rems-project/lem.git"
24
+
build: [make "INSTALL_DIR=%{prefix}%"]
25
+
install: [make "INSTALL_DIR=%{prefix}%" "install"]
26
+
remove: [make "INSTALL_DIR=%{prefix}%" "uninstall"]
27
+
depends: [
28
+
"ocaml" {>= "4.07.0"}
29
+
"ocamlfind" {build & >= "1.5.1"}
30
+
"ocamlbuild" {build}
31
+
"conf-findutils" {build}
32
+
"zarith" {>= "1.4"}
33
+
"num"
34
+
]
35
+
synopsis: "Lem is a tool for lightweight executable mathematics"
36
+
description: """
37
+
Lem is a tool for lightweight executable mathematics, for writing,
38
+
managing, and publishing large-scale portable semantic definitions,
39
+
with export to LaTeX, executable code (currently OCaml) and
40
+
interactive theorem provers (currently Coq, HOL4, and Isabelle/HOL).
41
+
42
+
It is also intended as an intermediate language for generating
43
+
definitions from domain-specific tools, and for porting definitions
44
+
between interactive theorem proving systems."""
45
+
url {
46
+
src:
47
+
"https://github.com/rems-project/lem/archive/refs/tags/2025-03-13.tar.gz"
48
+
checksum: [
49
+
"md5=3a4bdd7d70450f0ca2444fcd475bd9d1"
50
+
"sha512=3e11d546b1357ff12138a301d4c74bc280ec87b459f86cc951fcaf92f089f8d2c68255e4559f56d95024e50d23274708e8308f98f51b5b5caad875269847aba8"
51
+
]
52
+
}