-----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 <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> 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-----
