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 <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> 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-----
Attachment:
pgp9914fe02Pe.pgp
Description: PGP signature