Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 04 Aug 2024 08:09:56 +0200
Source: coq-deriving
Architecture: source
Version: 0.2.0-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <
[email protected]> Changed-By: Stéphane Glondu <
[email protected]>
Changes:
coq-deriving (0.2.0-3) unstable; urgency=medium
.
* Team upload
* Do not hardcode /usr/lib/ocaml
Checksums-Sha1:
9b32fc67b7e57dddaf63718a7eeb5c852d6e3505 1885 coq-deriving_0.2.0-3.dsc
61c63bc99f3ea605d8f792a2e6571bc1c1222f90 2208 coq-deriving_0.2.0-3.debian.tar.xz
Checksums-Sha256:
a30be386ac114a44feb29fab1c2c7d75000cd1a35a2ef3bc7692770fc7c4ecc0 1885 coq-deriving_0.2.0-3.dsc
7fdad83e6ea9e50dab902da8977cde35231b0c89ecd447af075b833f4ba86709 2208 coq-deriving_0.2.0-3.debian.tar.xz
Files:
7390fcb7a76f4b7b29447a61caf97cec 1885 ocaml optional coq-deriving_0.2.0-3.dsc
2da0a636482874f66d9ff78ea5d76b3f 2208 ocaml optional coq-deriving_0.2.0-3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavG9sSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBBnEH/3Vg0tpqaNFA+mk+EkCZ3fS6kuOSI6h+ kxj1/3UxJ6o/9vfvlanxcWo19SWgm6twJOcTW02uNydqDpsGa2QCCGjCnWFkbj0H TZJnNI2mPceMN0cSU/JYpUi0JGuHhNWUZEgsKQB4XoWq2RIUXsKNLi3cM+OIo5gu UdzqtB9d27RoMo7NwNTXjqBqi+pTSylucH0uB97rQllWhAcps7y39SPLwFAO6Xv8 2B+a4yEqlm+IX0LJOuCTwFn6mULDM4AysgnKJhWJllU7hH5evY4Zc9yaUmEkcIdT VsGOXK4qRIccLu5ZrCfbrm8FWzQdIaRuoTW8cdjpcMJdF29/4gGeQh0=
=tDi9
-----END PGP SIGNATURE-----
--==============823446572666608335=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZq8g1gAKCRCb9qggYcy5 IWOuAQCvvkU+pMbWj5K/dpCMt5x5nW/rOXBhXn1lHRE4PF5alwEAkCSWUMjBnpsN p1K+At1mu4s4TSoecMz6qshTfB1j+Q8=c+Zl
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)