Thank you for your contribution to Debian.



Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sun, 04 Aug 2024 07:05:43 +0200
Source: coq-simple-io
Architecture: source
Version: 1.9.0-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-simple-io (1.9.0-2) unstable; urgency=medium
.
* Team upload
* Do not hardcode /usr/lib/ocaml
Checksums-Sha1:
56300c3c38d2f799315f9d6bf04b434a2891974a 1936 coq-simple-io_1.9.0-2.dsc
701b6e5beda273855f4d20718f341e45fff71485 2644 coq-simple-io_1.9.0-2.debian.tar.xz
Checksums-Sha256:
e47ce3b20267eb9163bf4bfde3de4655ea28e8734126c05690844faf2207a768 1936 coq-simple-io_1.9.0-2.dsc
fe2680394789c1969050cf0e1830a95a06d19e71f753763bf358b38ce98397dc 2644 coq-simple-io_1.9.0-2.debian.tar.xz
Files:
1896153c17c338e1c74d11eceac81f30 1936 ocaml optional coq-simple-io_1.9.0-2.dsc
e7ec3126f2718f774f8866b55cb60cbf 2644 ocaml optional coq-simple-io_1.9.0-2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavDPMSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBrY4IAJR3Zm95Wuu1nufw4C0vttoUYwV+jjS5 yCCoE/uFDMjPClqv6hQTnuGDqRNdH8HEKCjJGVGYrWwm0jG6qjcjM8NJS6VK/nPS Rua73A0b9kAiU0punMDfAG+KEInwZXxcYF3IjQ1A0GAiTrjGXrSxYbDTZOHT+gxY w8HJ3IGlIVa/X6B2qAhvXPd/YMatKeYrW7ywVtOhDQEhxY1vRfKMi1TJllm1ccoC qw/yTvVeD5z39TJrFatosTimZ+5059O/ihK8S7c9j+DJdm7KBwuEdZTEW/gweqE6 Ao2ptgVw1w7e+eeh4rEeDqHQlV5HoXnbNWPXq3auoNqU9ZFUv9R0qLM=
=V+eo
-----END PGP SIGNATURE-----


--==============F31379363927038516=Content-Type: application/pgp-signature

-----BEGIN PGP SIGNATURE-----

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZq8S6QAKCRCb9qggYcy5 Ic59AP99o1OPgVU0h3o6apsY6OgjHNxqjl+Z5UAii2YZY31SOQEA6/MdSjoW/mIM WnFJXDBIJv6VUm50sDM9Dhb7rMDiegI=PYlG
-----END PGP SIGNATURE-----

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)