Thank you for your contribution to Debian.
Accepted:
-----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 <
[email protected]> Changed-By: Stéphane Glondu <
[email protected]>
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-----
--==============g88958104011284551=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZq8SywAKCRCb9qggYcy5 IU9uAQC1UAzAeEP7q/5wICE5uCybDfOySxaH2xCcQBC+ens+QAEA9y8wjxlJ54L/ 6csjOjkrHvDVZ1pTunoXFONDr7Fmlwg=QpId
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)