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

Version:	2022-12-10+dfsg-1
Uploaded:	2024-03-09 07:01
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

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

–

Package is the latest upstream version

Local:	2022-12-10+dfsg
Upstream:	2022-12-10
Url:	https://github.com/rems-project/lem/archive/refs/tags/2022-12-10.tar.gz

–
Package is not native

Format: 3.0 (quilt)
–
The uploader is in the package's "Uploaders" field
–
Package has lintian errors
lem changes
- E unreleased-changes
lem source
- I unreleased-changelog-distribution
  - [debian/changelog:1]
- P hyphen-in-upstream-part-of-debian-changelog-version
  - 2022-12-10+dfsg [debian/changelog:1]
- P maintainer-manual-page
  - [debian/manpage/lem.1]
- X debian-watch-does-not-check-openpgp-signature
  - [debian/watch]
- X very-long-line-length-in-source-file
  - 1040 > 512 [doc/manual/invocation.md:43]
  - 559 > 512 [examples/ocaml_light/caml_typedef.lem:3686]
  - 595 > 512 [doc/manual/backend_tex.md:21]
  - 609 > 512 [doc/manual/backend_hol.md:6]
  - 618 > 512 [doc/manual/own_lem_files.md:90]
  - 632 > 512 [doc/manual/library.md:6]
–
Package closes ITP bug
- lem:
  - #1065658 (Wishlist, ITP): ITP: lem -- Lem semantic definition language
–
Package is not in Debian
–
d/copyright is in DEP5 format

Upstream Contact: Lem Devs <cl-lem-dev@lists.cam.ac.uk>

Licenses: GPL-2, BSD-3-clause

No comments

Upstream Contact:	Lem Devs <cl-lem-dev@lists.cam.ac.uk>
Licenses:	GPL-2, BSD-3-clause

Changes:	unstable
Changelog:	UNRELEASED