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-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 |
Changelog
lem (2022-12-10+dfsg-1) UNRELEASED; urgency=low . * Initial release. (Closes: #1065658)
QA information
-
–
changes and changelog distribution differs
Changes: unstable Changelog: UNRELEASED -
–
Package uses debhelper-compatDebhelper compatibility level 13
-
–
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 errorslem changeslem 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]
-
I
unreleased-changelog-distribution
-
–
Package closes ITP bug
-
–
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
Comments
No comments