-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 04 Aug 2024 05:39:18 +0200 Source: paramcoq Architecture: source Version: 1.1.3+coq8.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: paramcoq (1.1.3+coq8.19-2) unstable; urgency=medium . * Team upload * Do not hardcode /usr/lib/ocaml Checksums-Sha1: 8bdbe036f152255caefdafd28ca9d8b779facc57 1887 paramcoq_1.1.3+coq8.19-2.dsc 0b8aaacc69020f4299a161231b621f89c0c16c1b 3168 paramcoq_1.1.3+coq8.19-2.debian.tar.xz Checksums-Sha256: 661b5c9adff968af122d5de34707cf9b4400b756afc30c85322f58fb43437d58 1887 paramcoq_1.1.3+coq8.19-2.dsc 9f9d0a76a89cd70463a9981a2b4d30a1a4d63a07464c56b9bec11f23351e03b3 3168 paramcoq_1.1.3+coq8.19-2.debian.tar.xz Files: 97b3bc2541dc152f30e49396dd5cd628 1887 ocaml optional paramcoq_1.1.3+coq8.19-2.dsc b765e412576c5ce31779591ec820001a 3168 ocaml optional paramcoq_1.1.3+coq8.19-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmau+M8SHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBfQ8IAK+pQQNyclxORwu8GWvJZVJ/zzIil87e ArTj1IQEbVfn74QU5NK5PnmfmxTuXv0FgkGEYc8yKEWu4PyGOwACXtXSvdjg/MnL UdruRz6n+WKASJhQQjui9coyicjTTUZeKAn6A/0fHD91wYpT5oKcTD8un64bSRA7 qTDtwxygtWUy8f5SKZtGM+fu4ozbV044rVYGJEy9LwNqT9s6W5Qn+fOKG7ck7ieb jk6HE7qJahSdmbQZjHnNSPPwpgG4bz+Q5Va2H2HZ3q2404zyhRKhIVGqYyzL+DO2 +0OMd11MutveI/15EjoCq4iz42wMUH/4sKHebNuAs0gQlx3LGMz/DW8= =TO79 -----END PGP SIGNATURE-----
