Package: liblem-ocaml-dev
Source: lem
Version: 2026-05-01+dfsg-1
Architecture: amd64
Architecture-Variant: amd64v3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 6068
Depends: libnum-ocaml-dev-oufq5, libstdlib-ocaml-dev-1ltp0, libzarith-ocaml-dev-igxp5, ocaml-5.4.1, libnum-ocaml-dev, libstdlib-ocaml-dev, libzarith-ocaml-dev
Suggests: ocaml-findlib
Provides: liblem-ocaml-dev-1sir5
Section: ocaml
Priority: optional
Homepage: https://github.com/rems-project/lem
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.
