1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
Source: lem
Priority: optional
Section: ocaml
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:
Bo YU <tsu.yubo@gmail.com>
Build-Depends: debhelper-compat (= 13),
ocaml,
ocaml-dune (>= 2.2.0),
dh-ocaml (>= 1.2),
libzarith-ocaml-dev,
libnum-ocaml-dev,
ocaml-findlib,
ocamlbuild,
help2man,
Standards-Version: 4.7.0
Homepage: https://github.com/rems-project/lem
Rules-Requires-Root: no
Vcs-Git: https://salsa.debian.org/ocaml-team/lem.git
Vcs-Browser: https://salsa.debian.org/ocaml-team/lem
Package: lem
Architecture: any
Depends: ${misc:Depends}, ${shlibs:Depends}, ${ocaml:Depends}
Provides:
${ocaml:Provides}
Suggests:
ocaml-findlib
Description: Tool merging math and logic for executable definitions (tool)
Lem is a tool for lightweight executable mathematics, for writing,
managing, and publishing large-scale portable semantic definitions,
with export to LaTeX, executable code (currently OCaml) and
interactive theorem provers (currently Coq, HOL4, and Isabelle/HOL).
.
It is also intended as an intermediate language for generating
definitions from domain-specific tools, and for porting definitions
between interactive theorem proving systems.
.
Package: liblem-ocaml-dev
Architecture: any
Depends:
${ocaml:Depends},
${shlibs:Depends},
${misc:Depends},
libnum-ocaml-dev,
libstdlib-ocaml-dev,
libzarith-ocaml-dev,
Provides: ${ocaml:Provides}
Suggests:
ocaml-findlib
Description: Tool merging math and logic for executable definitions (development)
Lem is a tool for lightweight executable mathematics, for writing,
managing, and publishing large-scale portable semantic definitions,
with export to LaTeX, executable code (currently OCaml) and
interactive theorem provers (currently Coq, HOL4, and Isabelle/HOL).
.
It is also intended as an intermediate language for generating
definitions from domain-specific tools, and for porting definitions
between interactive theorem proving systems.
.
This package contains the development files.
|
