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-----
--==============ˆ23065378580697711=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZq5RmwAKCRCb9qggYcy5 IVxgAPwNejiEaiKRO++J12BWlvA9hL38zlwcifZJDtp3dPKTGAD9GfslcsDdRRtw 0v5nv2aJUkz4E+9O7rFO5BNfVEKX9Q0=kT/y
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)