Package: sponsorship-requests Severity: wishlist X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org
Dear mentors, I am looking for a sponsor for my package "lem": * Package name : lem Version : 2022-12-10+dfsg-1 Upstream contact : Lem Devs <cl-lem-...@lists.cam.ac.uk> * URL : https://github.com/rems-project/lem * License : GPL-2, BSD-3-clause * Vcs : https://salsa.debian.org/ocaml-team/lem Section : ocaml The source builds the following binary packages: lem - Tool merging math and logic for executable definitions (tool) liblem-ocaml-dev - Tool merging math and logic for executable definitions (development) To access further information about this package, please visit the following URL: https://mentors.debian.net/package/lem/ Alternatively, you can download the package with 'dget' using this command: dget -x https://mentors.debian.net/debian/pool/main/l/lem/lem_2022-12-10+dfsg-1.dsc Changes for the initial release: lem (2022-12-10+dfsg-1) UNRELEASED; urgency=low . * Initial release. (Closes: #1065658) -- Regards, -- Bo YU
signature.asc
Description: PGP signature