Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 04 Aug 2024 08:10:54 +0200
Source: coq-relation-algebra
Architecture: source
Version: 1.7.10-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <
[email protected]> Changed-By: Stéphane Glondu <
[email protected]>
Changes:
coq-relation-algebra (1.7.10-4) unstable; urgency=medium
.
* Team upload
* Do not hardcode /usr/lib/ocaml
Checksums-Sha1:
dc73af1d24c6a0b0373bd8c243344c06041348f7 2032 coq-relation-algebra_1.7.10-4.dsc
8aa8ec5e5bf13f324b10ca82beecd3494bb44f1e 2220 coq-relation-algebra_1.7.10-4.debian.tar.xz
Checksums-Sha256:
1e8d480150901f3e4e37cc15d2a7e065596f73d098743468ac72671e414e52c9 2032 coq-relation-algebra_1.7.10-4.dsc
da8d08fb134acc4b801c29b3330e9186c99ca1f70e1d2ed9ceb8d94bd44f380b 2220 coq-relation-algebra_1.7.10-4.debian.tar.xz
Files:
e7303a34709cb6e59ad5c041c72fc6b0 2032 ocaml optional coq-relation-algebra_1.7.10-4.dsc
ecad10ef82e9bdffb49ab88aa46ac029 2220 ocaml optional coq-relation-algebra_1.7.10-4.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavHEoSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBjj4H/RP/M7O1NMV5Fv9JczISFEBEmxVpxP14 ccYEmhvoIFjyDjxl/ewPbhYpzFPNJ0JOWOhGtAILjRDAT2UjGuA++p0upAdM1GvM x/YMlkIkmw13bfftORSuzHR5mfzI/N8df7Td0bqHoJdswF22g9Z9N25WQffnouT1 AtXDFPdg8WPkerLqv/J6HGPDgp/r8ekF0ExszPX3NjbNO9ph4lAFBu6iPFDIL7SV ea//IChtIXk8Qm9rQv9tGbLO19HDJUY/Bw8OwMDK/CQ6j+Y5/1nN5koR0mM+XDll IL4I6soXXeDGS+2r3cVffgF7H3PjKgF0japJdPwNO0tQYpTsw4t8hfI=
=REHT
-----END PGP SIGNATURE-----
--==============v33033507383085017=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZq8g/gAKCRCb9qggYcy5 IcnrAPoD9LEvlaFB4/ek8RgMxrprOl60fX2fkWtx5C9x2WaywQEA+aLL1Wawfpns QBYor13S44eIXemPr5n6pAIHJHY4Fwg=qwTB
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)