deb_control_files:
- control
- md5sums
deb_fields:
Architecture: amd64
Depends: libnum-ocaml-dev-ru7b2, libstdlib-ocaml-dev-7l663, libzarith-ocaml-dev-mtsj7,
ocaml-5.2.0, libnum-ocaml-dev, libstdlib-ocaml-dev, libzarith-ocaml-dev
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.
Homepage: https://github.com/rems-project/lem
Installed-Size: '5397'
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package: liblem-ocaml-dev
Priority: optional
Provides: liblem-ocaml-dev-ao0g1
Section: ocaml
Source: lem
Suggests: ocaml-findlib
Version: 2022-12-10+dfsg2-4
srcpkg_name: lem
srcpkg_version: 2022-12-10+dfsg2-4