-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 04 Aug 2024 07:23:18 +0200 Source: coqprime Architecture: source Version: 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: coqprime (8.19-2) unstable; urgency=medium . * Team upload * Do not hardcode /usr/lib/ocaml Checksums-Sha1: 6a2159a15248ccdc13cf019e08c180fef5f07c50 1916 coqprime_8.19-2.dsc ce934c4f87f42c1eebd0f9b26d452e0cd30753eb 3412 coqprime_8.19-2.debian.tar.xz Checksums-Sha256: 8ba26538fef93d41c69e7b7dffac91bdd937994eaeca6d05e1457ab1b633884f 1916 coqprime_8.19-2.dsc 1eea8b4297c00d23fdbbf8dd71ace518e5218d95c075045cd6e31034a0a1dd46 3412 coqprime_8.19-2.debian.tar.xz Files: f95dc07940129cb98d3e45ce0201bbb1 1916 ocaml optional coqprime_8.19-2.dsc 328d46d457e314623ac4f4fb7b68ae54 3412 ocaml optional coqprime_8.19-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavEJkSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBY8EH/1BBgBNTEQTxZaiyQHCDmoy9BaTodbXA oNTJebHw1PGLoXNZ49s+bMcBdyZ1E/BuHtf0E6RqtBuT4GUlgn1GA8t9DCuhU7hB a+xVfwBhVzR9odkJcuOVOtBd+JnvIr4BMvEynfmjs3UoaFtlF5xb6AQT4Tycpjlp H2DIJfNoQxMcNFJinf/6GPJg6dxwUsFF5cYcNO42Lud6dGZf2uWdwLTnCflon0TF GfQkWe3SPUGAqzRBTUeeLVxOSnjcNP/goFulKrazNjT6x7ssxx3cLthMoWN0Wu0z noFqIOukptJmk9rboGCJhm4YgTJ9jFckyRxvb7q7ZHAmiq8tlas6MSA= =iw9L -----END PGP SIGNATURE-----
