-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 04 Aug 2024 07:04:45 +0200 Source: coq-equations Architecture: source Version: 1.3-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-equations (1.3-8.19-2) unstable; urgency=medium . * Team upload * Do not hardcode /usr/lib/ocaml Checksums-Sha1: 700a932fcac2730029aacf7205587350fd0ca2af 1942 coq-equations_1.3-8.19-2.dsc 8eaf37522fe3acc6ffc9ac126ff3f06358eded64 2724 coq-equations_1.3-8.19-2.debian.tar.xz Checksums-Sha256: dac4473bedb4a76668feb834b6831af48e98402ee2915635644b7cb440e006dc 1942 coq-equations_1.3-8.19-2.dsc 9d25183b524bc5af37014491bade2724a006fbf68ac85e2296fe5817ef41ab5b 2724 coq-equations_1.3-8.19-2.debian.tar.xz Files: 1cb83ebb2583c4b0a49a89fb3ff353ca 1942 ocaml optional coq-equations_1.3-8.19-2.dsc 77c49e17a9ad2721f932e3babdedb3e6 2724 ocaml optional coq-equations_1.3-8.19-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavDM8SHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBI6MIAJw68lXW9cZhDFX3dOmDMj+oD/58rHjL 1XOhJnFZD7v5rgckAk/4y43hS3YPhnMYQW+RzhAICf6MNxD+3ar7lpZQXvSuQsul elKAXvgsMEAq9BHY7yaZGvWSl/05wNcnQ7vzfxx4Tkjm2aIkndacQMk+v8CvMUPp t19oUjDeOLqg9QvoLKBaT1m33+WTSOogJBjaLCYydhpnHt8tg7yx/nsALLRVFHmq uMy7FQgsaJP9QOfd1JyJCc/pkZpkXjBrbAQ1AAHx2hPCFhBRIQUeiDx8oy60u+hf t18451kkpC8hHq93rdNme8hLB3nBH2Tlo07Ro30IDK7zmYmWO0sXYD4= =pg60 -----END PGP SIGNATURE-----
