Thank you for your contribution to Debian.



Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 09 Oct 2024 22:50:41 +0800
Source: linksem
Binary: liblinksem-ocaml-dev
Architecture: source amd64
Version: 0.8+dfsg3-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Bo YU <[email protected]>
Description:
liblinksem-ocaml-dev - Formalisation of the core ELF and DWARF file formats written in L
Closes: 1067819
Changes:
linksem (0.8+dfsg3-1) unstable; urgency=low
.
* Initial release. (Closes: #1067819)
Checksums-Sha1:
5d969d71cd9b2584c1ded036242c4d8c346f5c3d 2057 linksem_0.8+dfsg3-1.dsc
0d57d104287cb37e1950f470c3502b85596af367 487052 linksem_0.8+dfsg3.orig.tar.xz
5fb0e7f02e4004edc3f4d86779fcfeded57bee7b 4564 linksem_0.8+dfsg3-1.debian.tar.xz
89ebed6f460efd74b3fd061613dbd582a9e95579 15707352 liblinksem-ocaml-dev_0.8+dfsg3-1_amd64.deb
b482e042f79e17c4c386810a0179480a3a1f8a04 6508 linksem_0.8+dfsg3-1_amd64.buildinfo
Checksums-Sha256:
570949dd08f558415d474f8009bff47dda520b0b092b1cc3395b9933a82a8d3e 2057 linksem_0.8+dfsg3-1.dsc
a61f40a9994299c6834a77b5c6f0180643d32b0658a107fbba43332f34079814 487052 linksem_0.8+dfsg3.orig.tar.xz
e87bb5916b9d56b2d18245a20cafb46af2809776c529526c7c0f2adabd150d30 4564 linksem_0.8+dfsg3-1.debian.tar.xz
4bca0ac67abb1a7dea7c3e79f6d2830bed254b9967d7b70a5b8afb5dc66bab02 15707352 liblinksem-ocaml-dev_0.8+dfsg3-1_amd64.deb
5a98e43c40a6fe2518eb7e0a380c04d1fc12ad37b3699729130f8991f1ad15b9 6508 linksem_0.8+dfsg3-1_amd64.buildinfo
Files:
7d72290fffce46f0f3df600960498b65 2057 ocaml optional linksem_0.8+dfsg3-1.dsc
984fd25c07b56e89193adde3a69c3a49 487052 ocaml optional linksem_0.8+dfsg3.orig.tar.xz
31881337d2fc03f977e38c73ac7cbf48 4564 ocaml optional linksem_0.8+dfsg3-1.debian.tar.xz
c988b0ddd9f8198e8407265099176fb9 15707352 ocaml optional liblinksem-ocaml-dev_0.8+dfsg3-1_amd64.deb
c52dfd0e9233a180ff1e82dc6b35ebc2 6508 ocaml optional linksem_0.8+dfsg3-1_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmdAcRwACgkQ808JdE6f XdmljQ//V9L+AHapPBjdUggXO9Y29TNvhPwsZhBZ+ZvuZ2MOw2GepEPA0LnpV9c5 MMI4sm9fazcfbJOKBtc3jHuMye0tuAE38mtq5cqV/FxMotnq3hdLtv38hXd3aBKY JIqgfUwch4YBKh3yM8irNoVPN2yzz8UOY+FTC5IcC54nJ8goM+OHX+pQX2gUh4lz Yjge62R4CiXbrGUQfpQTzHd7UrcdBs2hkjUH33LUgtjiz5yGNTRMBRtQj6KxSWIx bzZdbO9wAsnaBcMXDoyMoJ+LuJ05sRXTP731i0lQmTE47f3hxKOuVH1sydN7RSSL L5GBrkIO1P9y1aYdgeIXm/DjKm5X247lmgnSNjo6dse9BEzlAcydDKH2UpYG4ku9 LslTUdu3vUt8V2EGQJx87H6JXqoScCyljZQjD7/Vg0zFpItNEBI8iGEy46LTmLv8 htHUU8jlUjcvRFWCP6c64rJKpsvSrDtF1a0lULtFqiA/GTowmdqLUSV3kOWF4M0e ajWE+iLVWIRHEAbuNEgDR1whMu/Mt8SP42+tP5gJPDBN3r60p0Q9LMGuP0SpeG9M 5wSmJUE/mNj3KmzdEg4wEJxemhHvAO46Mygw9doFy3ma8MLiNjKUZ+PHsRCD+cr8 OpbZiUTRKKYW5RwgGbyN6x1Y69Hsyj+tuMc9v6HNpg9sX0LDj8s=
=uUfx
-----END PGP SIGNATURE-----


--==============950101248113244799=Content-Type: application/pgp-signature

-----BEGIN PGP SIGNATURE-----

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZ0DU3wAKCRCb9qggYcy5 IabPAQCdfgO8zjtolMSxazinG7U8RAJyE+khJ0o43IYsjA0QtQEAgHdORP2j3OpT 3b+dmZskk3/oMdp7c4ZDgFUOJIsUhQM=OrzA
-----END PGP SIGNATURE-----

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)