Thank you for your contribution to Debian. Accepted: -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 03 Aug 2024 17:34:17 +0200 Source: coq-record-update Architecture: source Version: 0.3.4-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-record-update (0.3.4-3) unstable; urgency=medium . * Team upload * Do not hardcode /usr/lib/ocaml Checksums-Sha1: 2920edac06213f5c1ad1666917b0ddff47e3ce32 1925 coq-record-update_0.3.4-3.dsc df2448a69f02fc60f5eefe6a17d518c40f86b822 2132 coq-record-update_0.3.4-3.debian.tar.xz Checksums-Sha256: 41122f2cfd3ca49b2aca467e10873ddcbf7d04dd8ffcf36b1bdbd0ef1c615214 1925 coq-record-update_0.3.4-3.dsc 2a1be0daaa5dbe7c9409e1b5e7ead96e6dfbb063730dc7e7cb828f2fbca2806e 2132 coq-record-update_0.3.4-3.debian.tar.xz Files: 98c1100ef4d61892cfd3fb42c86beb1b 1925 ocaml optional coq-record-update_0.3.4-3.dsc 8d4b6726362e804001170222d8e145fc 2132 ocaml optional coq-record-update_0.3.4-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmauTjYSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBJFMH/0fVUf+Azoovs/AbJl/TkIwPvjEq7oDs HKNExzprr3cAopD1NaYdUF3Lje/toTfJ8dllYGlEISEszsTayjdL6aIuYPwy1FnP gfjm9pYxfR+iLn0X+DrvCpVfDo1CElNZ/T/9sYWMmcp3XAZP5l748UcRVJ3ocMDF ygiax3IvlicTNxgJg8vCSqjqeCAWwsnCrR7zGRzypreLVuvrTClrkiBSZ8XezIPN zOX1hFr3bOEx4lv9QSkbbRyUTHJWBtZ1UnRB0Wc6kMtHE+e+A7UzleXSGBDLjI3T qAMrueZ4KiTr6nmTZzMZE3tkcps2FWnx/GmGVOTEKgIhLzUh36HyQdE= =fwfz -----END PGP SIGNATURE-----
Attachment:
pgp8U7Nix1qUh.pgp
Description: PGP signature