Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 22 Aug 2022 16:38:03 +0200
Source: coq-equations
Architecture: source
Version: 1.3-8.16-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <
debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <
jpuydt@debian.org>
Changes:
coq-equations (1.3-8.16-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
df3602a3d0bdced340224ffe8860dc55427fcb28 2161 coq-equations_1.3-8.16-1.dsc
4788dea86e1645dcf8f3ad4fe44f977a72c479ab 1097638 coq-equations_1.3-8.16.orig.tar.gz
54f6c096eae2116d67f0608dd3069c4a420dc339 2176 coq-equations_1.3-8.16-1.debian.tar.xz
a5ae6e4ce69156c1112a986f080993939483f84f 7073 coq-equations_1.3-8.16-1_source.buildinfo
Checksums-Sha256:
6ede3c71252a4da19d47c806f378a1f5624c6efeae84c77d749533fc3efd83f2 2161 coq-equations_1.3-8.16-1.dsc
dc0fdbf15d1a6b5d5f83f65fe55d39bba74d21908f1165df0ff4ea3f766f698e 1097638 coq-equations_1.3-8.16.orig.tar.gz
6fc66d380e0dadde756f8d81652a98612f7c0d8120a2cc97a3a8aa92615def75 2176 coq-equations_1.3-8.16-1.debian.tar.xz
bc6e3b9e461bb1f0b21f85d50329e7f4be4f2936714f6636b9cfdae3117b1edb 7073 coq-equations_1.3-8.16-1_source.buildinfo
Files:
a6c07731d26525e9885acca4ecb2d8ce 2161 ocaml optional coq-equations_1.3-8.16-1.dsc
6c5a89dd4eb82608c27dcd53bae7d54a 1097638 ocaml optional coq-equations_1.3-8.16.orig.tar.gz
884a6f64bb75e4d7e22f3ef0e78b336d 2176 ocaml optional coq-equations_1.3-8.16-1.debian.tar.xz
f1b6a0f18cf3f4a4abf5816861211ce0 7073 ocaml optional coq-equations_1.3-8.16-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWUtYSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRoTYQAJhOKL+lB7+UMWrmRxAZ7anMXiislIHv anzK4dPbveQIp2TpkIahut82z9lziMo0sWK0Od4+klXy5bRlNLKMow57w8opjHH3 EE3lXspbPjb2LJ/J8BMyRtjBMIvPFXRO2+73Uy1HOmFaQwVbnD1+KehHGas5CLQt wLSJFc40dDrPTcJ4B58uUc6oI/DtW9jFOPXublIFbypZEB7P2STBgCB1hKsycC9H dVV5Lja9I8BPEO0n+eBi8QlqkFEf59qBPW9hKjTv3uzDPqaCwkrtRpfYartczH7g 9LDZHdEA0pYkj6w5dSC7mjOllt+dRVeWoKq23ws2+oeHMdkkcgSQvx2Fjyisy80U 7UNdMk9he4i5le6nFvjre+IJCllHoeJbK8JnUIOyLNgyAcgbPDBPD7GQLIy5vf6o a03E81oloK+kA9cZvHT+hWq2cGKY4Gt/QiQkCGArfj5i5Vd6X0PTrFaShthHrHXJ pP3Rp/v22SiyoaPiAwU0WXK4DacjMq2Vre8bqHNQnDKk2gycRdZJOsuFV+3clHuN aieqEARnPN4xwMdKh+rM0tO2mvfyKKWUxTk0gNARSJH0h/vbOhEKGkLyfgGWSyHR 8FmiIvGsLsLkULVq9cCT9agfSxdHAo8yluJUdk9p17NfHn1lqZ32laFWUX6fvG9U
DUO9/jSo7Fj5
=xc8S
-----END PGP SIGNATURE-----
Thank you for your contribution to Debian.
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)