-----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 <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> 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-----
