Thank you for your contribution to Debian.
Accepted:
-----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 <
[email protected]> Changed-By: Stéphane Glondu <
[email protected]>
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-----
--==============a94539241151538879=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZq5RpgAKCRCb9qggYcy5 IfTlAQCoXIcw6A3H8MRl1mVjLsanPlL8uMDkTPNxjvbDhjF4YgD/RpqMoQPDa75N 1ZdaueWIwYW8H2fray1F8zkCkGB03AE=lsfV
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)