Package - lem

Package:  lem
apt-get install lem
Manuals in package:
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/l/lem/lem_2022-12-10+dfsg2-4+b2_amd64.deb (Size: 1.3MiB)

PropertyValue
Packagelem
Sourcelem (2022-12-10+dfsg2-4)
Version2022-12-10+dfsg2-4+b2
Installed-Size5294
MaintainerDebian OCaml Maintainers
Architectureamd64
Dependslibc6 (>= 2.38), libgmp10 (>= 2:6.3.0+dfsg)
Suggestsocaml-findlib
DescriptionTool merging math and logic for executable definitions (tool)
Description-md54a8b2d70d294b2732bb418668a18ef48
Homepagehttps://github.com/rems-project/lem
Sectionocaml
Priorityoptional
Filenamepool/main/l/lem/lem_2022-12-10+dfsg2-4+b2_amd64.deb
Size1379876
MD5sum393b114b2dab509b112fa23fe081408f
SHA256b2997f5bff1b087fba4bc43ea98ee9333d80f6f6c343eded996172a6f6dbb0c4

Files in package

  • /usr/bin/lem
  • /usr/share/doc/lem/README.Debian
  • /usr/share/doc/lem/changelog.Debian.amd64.gz
  • /usr/share/doc/lem/changelog.Debian.gz
  • /usr/share/doc/lem/copyright
  • /usr/share/man/man1/lem.1.gz