Your message dated Fri, 13 Sep 2024 11:00:10 +0000
with message-id <e1sp426-00h5il...@fasolo.debian.org>
and subject line Bug#1065658: fixed in lem 2022-12-10+dfsg2-1
has caused the Debian Bug report #1065658,
regarding ITP: lem -- Lem semantic definition language
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
1065658: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1065658
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Bo YU <tsu.y...@gmail.com>
X-Debbugs-Cc: debian-de...@lists.debian.org
* Package name : lem
Version : 2022-12-10
Upstream Contact: Lem Devs <cl-lem-...@lists.cam.ac.uk>
* URL : https://github.com/rems-project/lem
* License : BSD-3
Programming Lang: OCaml
Description : Lem semantic definition language
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, though the generated Coq is not necessarily
idiomatic). It is also intended as an intermediate language for generating
definitions from domain-specific tools, and for porting definitions between
interactive theorem proving systems.
The language, originally based on a pure fragment of OCaml, combines features
familiar from functional programming languages with logical constructs. From
functional programming languages we take pure higher-order functions, general
recursion, recursive algebraic datatypes, records, lists, pattern matching,
parametric polymorphism, a simple type class mechanism for overloading, and a
simple module system. To these we add logical constructs familiar in provers:
universal and existential quantification, sets (including set comprehensions),
relations, finite maps, inductive relation definitions, and lemma statements.
Then there are facilities to let the user tune how Lem definitions are mapped
into the various targets (by declaring target representations and controlling
notation, renaming, inlining, and type classes), to generate witness types and
executable functions from inductive relations, and for assertions.
------------------------->>>>-------------------
The package is a dependency of sail[0] and linksem[1] and then I will
maintian it under Debian ocaml team.
[0]: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1065419
[1]: https://github.com/rems-project/linksem
--
Regards,
--
Bo YU
signature.asc
Description: PGP signature
--- End Message ---
--- Begin Message ---
Source: lem
Source-Version: 2022-12-10+dfsg2-1
Done: Bo YU <tsu.y...@gmail.com>
We believe that the bug you reported is fixed in the latest version of
lem, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 1065...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Bo YU <tsu.y...@gmail.com> (supplier of updated lem package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 23 Jun 2024 07:39:43 +0800
Source: lem
Binary: lem lem-dbgsym liblem-ocaml-dev
Architecture: source amd64
Version: 2022-12-10+dfsg2-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
Changed-By: Bo YU <tsu.y...@gmail.com>
Description:
lem - Tool merging math and logic for executable definitions (tool)
liblem-ocaml-dev - Tool merging math and logic for executable definitions
(developme
Closes: 1065658
Changes:
lem (2022-12-10+dfsg2-1) unstable; urgency=low
.
* Initial release. (Closes: #1065658)
Checksums-Sha1:
392d205351417921b13c26fb75df7cf6ac2a1830 2110 lem_2022-12-10+dfsg2-1.dsc
99aaa1b0bc08a4bff4a07f6f10da25eab9fcfeb8 500444
lem_2022-12-10+dfsg2.orig.tar.xz
45606b6b6d83c6599488c18732bc57ace48ab67e 7280
lem_2022-12-10+dfsg2-1.debian.tar.xz
b8eb04f79f5b4b9f6dce6819aeb7f65cf06cd1c8 436368
lem-dbgsym_2022-12-10+dfsg2-1_amd64.deb
4e73136ed4a09f665d014a666ec148ba3c9959aa 6979
lem_2022-12-10+dfsg2-1_amd64.buildinfo
d26473e25add69820bf5914f53ceb5072ae65c84 1365880
lem_2022-12-10+dfsg2-1_amd64.deb
42e3a8d59c3b48cc038839dc2387817ca824fd3c 552152
liblem-ocaml-dev_2022-12-10+dfsg2-1_amd64.deb
Checksums-Sha256:
793c64c2509b6e4901ddf5900e6abcde998f8f00a2e74af3a5c015f988a5e8e2 2110
lem_2022-12-10+dfsg2-1.dsc
23e8d08c6fe395853bf2f22941543b41adb805d8a8b9b29a6ffa7291c2abd822 500444
lem_2022-12-10+dfsg2.orig.tar.xz
4611426350ff970164210fe32e8ae138892dd122e325ad0c3f9fbc089809e2af 7280
lem_2022-12-10+dfsg2-1.debian.tar.xz
61592184f428d4725bc393e1f114303bab9d996a628a0950ec2cfa65aa076004 436368
lem-dbgsym_2022-12-10+dfsg2-1_amd64.deb
f070ff5254d38a838699ea2feb009002fb6cf1afe7e15fadfc292475e9197d3c 6979
lem_2022-12-10+dfsg2-1_amd64.buildinfo
75199f2cdaac499aa912f79f45a4388b299225669b6cb4a475d32bddd925cfb3 1365880
lem_2022-12-10+dfsg2-1_amd64.deb
12c9519cfc89f366e7af3ed0db416e671b4eca9d37577b9148cc86adbb52ebcd 552152
liblem-ocaml-dev_2022-12-10+dfsg2-1_amd64.deb
Files:
276290d8aab3b5ee653a283898962eab 2110 ocaml optional lem_2022-12-10+dfsg2-1.dsc
10e8eca9382d758d7641df0be88af534 500444 ocaml optional
lem_2022-12-10+dfsg2.orig.tar.xz
e14dcf0aa62c673f1feedf77a7baa8be 7280 ocaml optional
lem_2022-12-10+dfsg2-1.debian.tar.xz
7ad340c5a2ad7a932bc4461dd072fd44 436368 debug optional
lem-dbgsym_2022-12-10+dfsg2-1_amd64.deb
0ae0f90436855d4a564df9e8ed487185 6979 ocaml optional
lem_2022-12-10+dfsg2-1_amd64.buildinfo
8bf50a70e08d5b7139aad6dd0c4fec37 1365880 ocaml optional
lem_2022-12-10+dfsg2-1_amd64.deb
82feff1848c940e29ee4b8d95c63b313 552152 ocaml optional
liblem-ocaml-dev_2022-12-10+dfsg2-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmbd2rAACgkQ808JdE6f
XdnglA/+KAKRZ88c/scR/qb1b7/MNm+/CDPqiG2Qen6zPkoQRG5uMP1SP9X0+qPw
4Qw09KEVR0LgYEkIVV1GUqsfbKpEvgPP8/cCkp/Toa0Tk7NK/jlNNmpx3wNP6ntN
X+nHAVcvR/tPxAiaSaFGrDsAXaybXKSxZBq+PxRlvk4qxyq+yHEwTh28qS67CS83
TpOG2m62dgV72lVhMz/kxWUUHv1ib+8dzUWXErpyDofQvSrAuifgvN824dpCti+l
0mCPb36K2TWk2rC8nk4uWIjNMnqHHwrRGCI7SehZPH52HRkYVYZ206ISpa1X5El6
3odZH7sFYQ1X00+6N1kEGanimsIajPDSKurASpskUBZIEeOH655DbldCQmS3E9nD
nHsrjVb+Du7x1xqWEYE7+tVgpIJ2POGuy/6Dp4LFIFITXxBBovwUbjzlBqGdifS+
Q/Wu+zaOM61+jmLnAeGNKB9WZqBhwGiREtF+hfuIg1UDVrypADydIOoRm2YxDgS+
2Bmc1igMbo/gfkcmMldp+70cX6klY0aWkyHUTYkiX33gVqyJ6wWDXQE6vNq2TpHu
ItDRQ1xwWIeEOb7TQ6vPP+FgeEuOXDKKh77M6g74bVZlQYsgurm46WQ9TQAwSlGU
oOwCmyQPhG/FKY/e1CCW9YUjsI72ij/BqlKhQUpjMBXqiO5RRfE=
=2WV+
-----END PGP SIGNATURE-----
pgpQMiTy2hzoR.pgp
Description: PGP signature
--- End Message ---
