Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 04 Aug 2024 08:10:46 +0200
Source: coq-reglang
Architecture: source
Version: 1.2.1-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <
[email protected]> Changed-By: Stéphane Glondu <
[email protected]>
Changes:
coq-reglang (1.2.1-4) unstable; urgency=medium
.
* Team upload
* Do not hardcode /usr/lib/ocaml
Checksums-Sha1:
2f8fc23d8b4bb9c9dcd3bf4a798cf9a8b52e742d 1888 coq-reglang_1.2.1-4.dsc
760ebdacccb8475c3abe51317324885804c3b249 8632 coq-reglang_1.2.1-4.debian.tar.xz
Checksums-Sha256:
55957abab08d2b2a6ca1e75aeccabb9f7e425526db7583253baf45cbc714125e 1888 coq-reglang_1.2.1-4.dsc
b53574e1b305bdf83f6ef6fae9c5e443744985c2f8d0a75b0c53d9d980c1d13e 8632 coq-reglang_1.2.1-4.debian.tar.xz
Files:
e72b67ff91f800d60bf62848423ab1c6 1888 ocaml optional coq-reglang_1.2.1-4.dsc
4b5264f6e78afc17eed96fc5c59fe954 8632 ocaml optional coq-reglang_1.2.1-4.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavHCgSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBMHYH/iFXdfkho0jTT/x9U1Wq3oyUnwiXDx8k 6wWUkqvGwHSEOnojz3Vle6Am3E8e5gFPo/XkpH6tAcrUpe9TYoN3APmvO4b+2JVs cqa8T0irZexX2fsYa/qtwOuWaFH2EFqu25+uc+XLtRXPuWoA4rl7QDeFGCxOX4zg dY+AhgDhNnY7CjorWDc3fok7Gwam9J5QtaiWO4b8E22biEJfhVQf8svLitWDnB2h xYUhfc0z4SJgKR5SxYgs/psTbohqHk+mVAal8hu/9wdAbWOS0EkU7sbFKCD29bxS nUZjjbxNZr0Z80OC8x5QhpV/FD2lrHQkw45xX2zJJizLfkXSm2fGvJo=
=42eZ
-----END PGP SIGNATURE-----
--==============H44312188819163914=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZq8g9wAKCRCb9qggYcy5 IRDnAP9l1AIIhqqoj7//NvoRd43wN97SwEA2O8EyAIVmsaUCAwD9FY048hUfH3ar WN9d6Q5dRdTWpEZhw94DcJvJXKIzWgc=/HLg
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)