Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 03 Aug 2024 17:34:17 +0200
Source: coq-record-update
Architecture: source
Version: 0.3.4-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <
debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <
glondu@debian.org>
Changes:
coq-record-update (0.3.4-3) unstable; urgency=medium
.
* Team upload
* Do not hardcode /usr/lib/ocaml
Checksums-Sha1:
2920edac06213f5c1ad1666917b0ddff47e3ce32 1925 coq-record-update_0.3.4-3.dsc
df2448a69f02fc60f5eefe6a17d518c40f86b822 2132 coq-record-update_0.3.4-3.debian.tar.xz
Checksums-Sha256:
41122f2cfd3ca49b2aca467e10873ddcbf7d04dd8ffcf36b1bdbd0ef1c615214 1925 coq-record-update_0.3.4-3.dsc
2a1be0daaa5dbe7c9409e1b5e7ead96e6dfbb063730dc7e7cb828f2fbca2806e 2132 coq-record-update_0.3.4-3.debian.tar.xz
Files:
98c1100ef4d61892cfd3fb42c86beb1b 1925 ocaml optional coq-record-update_0.3.4-3.dsc
8d4b6726362e804001170222d8e145fc 2132 ocaml optional coq-record-update_0.3.4-3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmauTjYSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBJFMH/0fVUf+Azoovs/AbJl/TkIwPvjEq7oDs HKNExzprr3cAopD1NaYdUF3Lje/toTfJ8dllYGlEISEszsTayjdL6aIuYPwy1FnP gfjm9pYxfR+iLn0X+DrvCpVfDo1CElNZ/T/9sYWMmcp3XAZP5l748UcRVJ3ocMDF ygiax3IvlicTNxgJg8vCSqjqeCAWwsnCrR7zGRzypreLVuvrTClrkiBSZ8XezIPN zOX1hFr3bOEx4lv9QSkbbRyUTHJWBtZ1UnRB0Wc6kMtHE+e+A7UzleXSGBDLjI3T qAMrueZ4KiTr6nmTZzMZE3tkcps2FWnx/GmGVOTEKgIhLzUh36HyQdE=
=fwfz
-----END PGP SIGNATURE-----
--==============‰40629554550862604=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZq5U9AAKCRCb9qggYcy5 IfmUAP9YsvpNs6DHxuq9m5SL5fJHxqNEvHNTv+gZwsahJLkF2QEA0/VYVDU0v8e4 3/eeyPVbYfgu1+fVuW4YtD3QUpRSggw5Ip
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)