Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 04 Aug 2024 07:23:18 +0200
Source: coqprime
Architecture: source
Version: 8.19-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <
debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <
glondu@debian.org>
Changes:
coqprime (8.19-2) unstable; urgency=medium
.
* Team upload
* Do not hardcode /usr/lib/ocaml
Checksums-Sha1:
6a2159a15248ccdc13cf019e08c180fef5f07c50 1916 coqprime_8.19-2.dsc
ce934c4f87f42c1eebd0f9b26d452e0cd30753eb 3412 coqprime_8.19-2.debian.tar.xz Checksums-Sha256:
8ba26538fef93d41c69e7b7dffac91bdd937994eaeca6d05e1457ab1b633884f 1916 coqprime_8.19-2.dsc
1eea8b4297c00d23fdbbf8dd71ace518e5218d95c075045cd6e31034a0a1dd46 3412 coqprime_8.19-2.debian.tar.xz
Files:
f95dc07940129cb98d3e45ce0201bbb1 1916 ocaml optional coqprime_8.19-2.dsc
328d46d457e314623ac4f4fb7b68ae54 3412 ocaml optional coqprime_8.19-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavEJkSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBY8EH/1BBgBNTEQTxZaiyQHCDmoy9BaTodbXA oNTJebHw1PGLoXNZ49s+bMcBdyZ1E/BuHtf0E6RqtBuT4GUlgn1GA8t9DCuhU7hB a+xVfwBhVzR9odkJcuOVOtBd+JnvIr4BMvEynfmjs3UoaFtlF5xb6AQT4Tycpjlp H2DIJfNoQxMcNFJinf/6GPJg6dxwUsFF5cYcNO42Lud6dGZf2uWdwLTnCflon0TF GfQkWe3SPUGAqzRBTUeeLVxOSnjcNP/goFulKrazNjT6x7ssxx3cLthMoWN0Wu0z noFqIOukptJmk9rboGCJhm4YgTJ9jFckyRxvb7q7ZHAmiq8tlas6MSA=
=iw9L
-----END PGP SIGNATURE-----
--==============x00447836195657352=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZq8S/AAKCRCb9qggYcy5 ITylAQCLHVP7TzPCQNeqPNdTLgvXKvdFWt32f0GSZaK4oiDPxwEAzofaQiYkkurr zbfjAaxA+51IjQOkDpz1iXXtiPcVCQE=LZPy
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)