-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 03 Aug 2024 17:32:06 +0200 Source: coq-hott 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: coq-hott (8.19-2) unstable; urgency=medium . * Team upload * Do not hardcode /usr/lib/ocaml Checksums-Sha1: 91e887f04ff9208e2d5f5b140090e24d54dc41dc 1796 coq-hott_8.19-2.dsc 6a63d32c67c9bf730e971181771ceaa1936b5635 2980 coq-hott_8.19-2.debian.tar.xz Checksums-Sha256: 7799d43fe22aff0e601916209fdb5ec338b27d02b812beebfc972edac29564fb 1796 coq-hott_8.19-2.dsc d05e270bacf10dc0cd6d34b1f569eb6022228d27fc8c7025c53ad70d60edcb12 2980 coq-hott_8.19-2.debian.tar.xz Files: 054c19e0d3fff60ef98b2b6c2f9eefd3 1796 ocaml optional coq-hott_8.19-2.dsc 765e6f08150fce481b1b1d8dde186af2 2980 ocaml optional coq-hott_8.19-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmauTcASHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBo8IH/i1cgntM5kwIt3vwZGeSLqhiTRNCztO1 XfxY5vNrNE1YpRIZo7ZiJ8Lx0QGS8Ra6A0/dVfttJIDTUOUmXVr84uN+8jV1XQsv vWTyqn+udqXnDxehMYPFXVAF/gMj7sF0M3JUQqvladsarkvpRNfYPkZJTkiM7bQ7 WhLoxAUyPmauJkBhAKSGlQJOK2dCswi7pPyHx8RGujPQh/ZtD9WH13ZvcM6d+t1e ZmweU2pHsIOc0lw3QHjUawQWE7xt9a2vQs3Kw1xvXVB/QnMs0IF6VgDPjjTQK0Fy VEI2Ez0teUZkvxzOoYMjYqR1qAZeOP+gmZDR7pIIikli1Lpivyv/aOo= =vk1D -----END PGP SIGNATURE-----
