Sign me up Login

Details about package lem

Name: lem
Uploader: Bo YU <tsu.yubo@gmail.com> (Debian QA page)
Description: lem - Tool merging math and logic for executable definitions (tool)
liblem-ocaml-dev - Tool merging math and logic for executable definitions (development)

Package uploads

Upload #1

Information

Version: 2022-12-10+dfsg-1
Uploaded: 2024-06-22 23:54
Source package: lem_2022-12-10+dfsg-1.dsc
Distribution: unstable
Section: ocaml
Priority: optional
Homepage: https://github.com/rems-project/lem
Vcs-Git: https://salsa.debian.org/ocaml-team/lem.git
Vcs-Browser: https://salsa.debian.org/ocaml-team/lem
Closes bugs: #1065658

Changelog

 lem (2022-12-10+dfsg-1) unstable; urgency=low
 .
   * Initial release. (Closes: #1065658)

QA information

Comments

No comments