Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 04 Aug 2024 08:10:37 +0200
Source: coq-quickchick
Architecture: source
Version: 2.0.3-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <
debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <
glondu@debian.org>
Changes:
coq-quickchick (2.0.3-3) unstable; urgency=medium
.
* Team upload
* Do not hardcode /usr/lib/ocaml
Checksums-Sha1:
26e2849bbd6e2fdbf12909f9652d7c52082342f9 2049 coq-quickchick_2.0.3-3.dsc
5b0c52bd306c011724d81b980c6708566e185af4 2856 coq-quickchick_2.0.3-3.debian.tar.xz
Checksums-Sha256:
7b84f627f8cb4871197ba9ed5e7965a34e12d991a19139b2b16808002ce7998f 2049 coq-quickchick_2.0.3-3.dsc
e9cf23a61453be6ef27752eb87bd9117dae98d8d0672bd1351aaaf424da290cb 2856 coq-quickchick_2.0.3-3.debian.tar.xz
Files:
f1b9d9cc754e0cd340fe6e0e2e357fef 2049 ocaml optional coq-quickchick_2.0.3-3.dsc
30cc6a528870c49b3bd6fecc1f15b178 2856 ocaml optional coq-quickchick_2.0.3-3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavHAQSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCB2ugH/RhBMbuXHdZHJxcLDmK6zchNNEG9X57g OgoNOr0xDPR4AClKyAx556G5JiL+jU67zK9o78EGOXwqpTC+iHdEGuCGb+vTdSTE VVsYtkCpXmm2YSPfYx+iv0CZUszFAk8lKSWnePjelOz+NnLHz9AdNUAHlGmDVkQQ wlgEO3RXXY5VUsy4Ve1E61F30NwHbwC4vVCLvVIc4DJBdodd0w+LHlXFjW4LWfAD kLU5CVSAoXhHgatH/xdm0X0CGqgtT/hd7bOsmR836QFai6YkD1+yKes/MpOj2/Ue 2dyIpXkLmGb2nBFB915JEbb6Zdl5fmFcULfck1CxG+rWRe6i/Az8ArA=
=4lYV
-----END PGP SIGNATURE-----
--==============v97104864093797448=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZq8g8QAKCRCb9qggYcy5 Ifv1AP9oj/BhsQisfQVz8vGOuchYtwzOjwrRcd5xkANBlcRhUgEAvMXp+7Esajow zdKPdHJu/cjaVAkXG6k051tV50YUcAU=W2WO
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)