Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 04 Aug 2024 08:40:29 +0200
Source: coq-serapi
Architecture: source
Version: 8.19.0+0.19.3-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <
[email protected]> Changed-By: Stéphane Glondu <
[email protected]>
Changes:
coq-serapi (8.19.0+0.19.3-4) unstable; urgency=medium
.
* Team upload
* Do not hardcode /usr/lib/ocaml
Checksums-Sha1:
0cca579c2793ee021d281751f5041b05e4cadc1c 2271 coq-serapi_8.19.0+0.19.3-4.dsc
faad1259febc601b63999ec3048e7a104599a9f2 10264 coq-serapi_8.19.0+0.19.3-4.debian.tar.xz
Checksums-Sha256:
0286bc58395310611ee41ae8230faab5577bfb5d6b1ec1793bac5856879f8722 2271 coq-serapi_8.19.0+0.19.3-4.dsc
facdfdbd14a027bfd53998ce723787a9861acc52fc4186874abf3bfe08afb563 10264 coq-serapi_8.19.0+0.19.3-4.debian.tar.xz
Files:
66d93cb0d8889dcdb2332272c3ccb5a4 2271 ocaml optional coq-serapi_8.19.0+0.19.3-4.dsc
8cd3828f6e00d26c377dfbe9858bd97c 10264 ocaml optional coq-serapi_8.19.0+0.19.3-4.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavIwsSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCB2jEH/1YWl3KTQVq9fmL2jihgg3LMs4bkh0d6 fApf5ZalrDGVa7LK91gCHXgKIS/z6vXgb3ziw/Ua/8nL3KcQAVYzBsMKNWBiVSrz JnvBz4b7UIqcGzlTGCUHKonQKSWac8u6COC41YCd34UO8Vc4sYyzqSqKdsqA9ITR 71zWONP6sjtnOOd5LELju8v00LidK50W+lfhrhd4RE4RL829lrEArbGVS8ELhwUB oZXSBZOyMUHHcZl8SGqliZblmEBwJPHT4GqcKHZtZOHO5GS6A3AdAiZDO0TkFDOj f9TEbj9ua6BbpfRRE+x10mFvWAW9Jr9fA3b0kD9Fk9eFqFodJhrjfaM=
=vcng
-----END PGP SIGNATURE-----
--==============i02580218769039861=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZq8oAwAKCRCb9qggYcy5 IXI5AP4lisuSPIS0CT34XzghJPYWPrbVf+Iq1zntRsx6dfRzlQD+MRt2loEqOcR2 WyzlGwiOp1BSpUUBcsGX/mlwIkKGbQw=gd7o
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)