Artifact lem_2022-12-10+dfsg2-4_arm64

Metadata
deb_control_files:
- control
- md5sums
deb_fields:
  Architecture: arm64
  Depends: libc6 (>= 2.38), libgmp10 (>= 2:6.3.0+dfsg)
  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.
  Homepage: https://github.com/rems-project/lem
  Installed-Size: '6210'
  Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
  Package: lem
  Priority: optional
  Section: ocaml
  Suggests: ocaml-findlib
  Version: 2022-12-10+dfsg2-4
srcpkg_name: lem
srcpkg_version: 2022-12-10+dfsg2-4

File

lem_2022-12-10+dfsg2-4_arm64.deb
Binary file lem_2022-12-10+dfsg2-4_arm64.deb cannot be displayed. you can view it raw or download it instead.

Relations

Relation Direction Type Name
built-using Source package lem_2022-12-10+dfsg2-4

BETA