Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 22 Dec 2023 11:28:29 +0100
Source: coq-quickchick
Architecture: source
Version: 2.0.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <
[email protected]> Changed-By: Julien Puydt <
[email protected]>
Closes: 1044511
Changes:
coq-quickchick (2.0.1-1) unstable; urgency=medium
.
* Fix d/rules clean target (Closes: #1044511).
* New upstream release.
Checksums-Sha1:
5d20fc14834fe414af3b97f9818e50b1c52192cb 2275 coq-quickchick_2.0.1-1.dsc
80b27cd36434afeecb046b0cb34fe55def180220 410072 coq-quickchick_2.0.1.orig.tar.gz
08a818bec3197905a34802a50dfaf6f290723488 3008 coq-quickchick_2.0.1-1.debian.tar.xz
38eb776fb8331286130102706470683705d705cc 8676 coq-quickchick_2.0.1-1_source.buildinfo
Checksums-Sha256:
31d06b0898baf1ed1e1a8c09b5392630827efcfc221c48e8917ebaef4831f88d 2275 coq-quickchick_2.0.1-1.dsc
9b69e605c25fda38e3d358e2c71429477a5fe94752ff8956bbd158386d642aa4 410072 coq-quickchick_2.0.1.orig.tar.gz
48f324e00aad16f6660d93ba939ffcd79790e74415e7ecd8c1a72e119827bbf7 3008 coq-quickchick_2.0.1-1.debian.tar.xz
5e7869428f5f4bd904d6ac12cce513f6af80a1de21fceea744872eda00dc1be5 8676 coq-quickchick_2.0.1-1_source.buildinfo
Files:
c616b5cf1864a96ef2df169302e11020 2275 ocaml optional coq-quickchick_2.0.1-1.dsc
1f3ba460ff6bfcf7bcb38b6bf22a8825 410072 ocaml optional coq-quickchick_2.0.1.orig.tar.gz
482e67f55eecb78964da6992895839c6 3008 ocaml optional coq-quickchick_2.0.1-1.debian.tar.xz
b17d6f1103e8ed1c46fa225c3abfaa1b 8676 ocaml optional coq-quickchick_2.0.1-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFZOsSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRiCYP/ishdOCynPsMXAdON0H55CjP9Chzo5yw jc8BfDzzaPt/IQCxlLHYor9daoaW15AerthZI9zxJT0mqbm4WE27zK8FG7rL+/RW UJELOiVPIgCsG8N0ER8uW+ACWXQFarOcF9AYS537JF/mjcIe2r0+oIGv1kwFF1ho KlVPl8qqqzSoem1NcDCYHyiwDiqZtLdNMXEivFMX2j3Ul2ahIxla8U15gIKc9fL6 H0HSXpdu/x7f2UMU8uU3vKX68rlMR1IYeJoYVefeKQtGFgZrSDZKytae73AZFOpF LpI0ZHnGQBKjY0hD6JkDdI1zwrovEmyigXRzjbcqo3WdqrkOqtkaM0qicAzc7A3s RtC/MduWcDVhB9CQUhIEH+5zIGTTg5whex7RTxBXCHN/CaR8MQMeQHMAopIDwUKY bWNVn2OSLad4uuLaaBr8z5A6uYyEIFK6StA0rrVCe+PtF98MWOf/GE18AB3HVAzl aE/2QrjNumBRR+lGtd/KjMybbxAfw4ZAg2iqJ/O3JT+EEud2vizKRYZME7Su0jQ+ H4OkJa8LMwU6Kz0yFDlzSixIaHQecAGttNY13qkP0jQN6iUh2c+mF90vsMOUBX7k YdIXNNazNRMDRsozCUySVJzZmaQiewtMcTLTvkC378amHlImrvmpSIKayh8keC/b
s/7vIyK8TWin
=MoXI
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)