-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 03 Aug 2024 17:30:26 +0200 Source: coq-dpdgraph Architecture: source Version: 1.0+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-dpdgraph (1.0+8.19-2) unstable; urgency=medium . * Team upload * Do not hardcode /usr/lib/ocaml Checksums-Sha1: 65ec87a86ee26c4f42083fbf3f333eaebb43c8f2 1993 coq-dpdgraph_1.0+8.19-2.dsc def560694c4b0eca3cf1037abb76176eba4a3647 3136 coq-dpdgraph_1.0+8.19-2.debian.tar.xz Checksums-Sha256: 01427513ee9daf0f25cdf4e4f108ba3f17dbbde2c9e6b1e8b2f7100f9fa2384e 1993 coq-dpdgraph_1.0+8.19-2.dsc fef1149574f48ac2297732b78b3bcfbde9e1c5bc5dfe3e9570bd106ec1b45f31 3136 coq-dpdgraph_1.0+8.19-2.debian.tar.xz Files: 50208b4c24fb458310c449692969fc33 1993 ocaml optional coq-dpdgraph_1.0+8.19-2.dsc 53fdd79458eede01d5683259eff080be 3136 ocaml optional coq-dpdgraph_1.0+8.19-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmauTVoSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCB3rAIAKShcHM4rGqgtC6x/iHUgoO/tUsJ5jDR 9G2auvjZu6F/2smkGAIFWeGL/y0r6p5tJiFwCjI2Q3d+f1VHRtbghhleKddY43CF oAZv/LjS5jzpqBGE/J4FLHCbU0j9PQVQZwV2+0eX/h6O+G85g7du1MLPhRHue8lS jrFO/svpQ9sj+z8woPyu19+uDWDbYGeMGFaLZshtCLZj0ISbo28wE+x5ZY5iOFWo olgsgx0j1ayE/jmt58s22Q2KrseZUXN8ahur9sD1ASdOpOxlEBqXR5X8CcrLRKDq dtplAkU0HmaZTiLmEduunB7z62F79ouu6woDJoR9lPiIiAcajF9VkBw= =Jg2S -----END PGP SIGNATURE-----