[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

coq-deriving_0.2.0-3_source.changes ACCEPTED into unstable



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


Reply to: