Thank you for your contribution to Debian. Accepted: -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 03 Aug 2024 17:31:32 +0200 Source: coq-hammer Architecture: source Version: 1.3.2+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: coq-hammer (1.3.2+8.19-2) unstable; urgency=medium . * Team upload * Do not hardcode /usr/lib/ocaml Checksums-Sha1: 6c4e74a9537e665725e07f48a6d13b25afae44b6 1887 coq-hammer_1.3.2+8.19-2.dsc 7edfd9393e19566d5a86a10dc5189547af8d53ea 2732 coq-hammer_1.3.2+8.19-2.debian.tar.xz Checksums-Sha256: 1fba669ef6e50b4dd6ca9c1b6a818ae6e750d91336f363a0ee136fc6c09bd11a 1887 coq-hammer_1.3.2+8.19-2.dsc 97bab3b7b69718563c7cf8d4ce72ddc500ddcb4724fb8735fa0263c3d55d6dac 2732 coq-hammer_1.3.2+8.19-2.debian.tar.xz Files: c12558795bb648f2602af976c80b37e0 1887 ocaml optional coq-hammer_1.3.2+8.19-2.dsc 3a1963dba29061698cc0dee07a873c44 2732 ocaml optional coq-hammer_1.3.2+8.19-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmauTZISHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCB/esH/jmXR4gPD23J2a6flDYFcfdb/1nZOlQt 6s0/CHljd6CPmRr06pxoOKI2VQIP//0//Z6G318Cs6wiEdVPc7HW3iB3wu6CJj9f 6wzBdFUbuatE9XEPatmCiNZBrWwEN9gRLOwSLI5L+6ldTvUKemVbGoetoDOYeydf rU7BB1xA8+sSh5RIrjvPM0q6M6VQM7PnZ2Fyd/kpvHeKpjZn6d/EoUgmzrTMBtTM G3zCJGb88sIha0uwZyA55koeNLXlIkjRPKbxT83SsXCGU2YPnGu5dfgTP0APipgr pzZXlaTTQPQPjw6PJ70G06pDXa4yKMABfjV4oTA98IbpqtOUYYKcDtE= =tQSL -----END PGP SIGNATURE-----
Attachment:
pgpsydSlpyb47.pgp
Description: PGP signature