Accepted coq-quickchick 2.0.2-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-quickchick 2.0.2-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 20 Jan 2024 19:49:36 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-quickchick_2.0.2-1_source.changes
- Debian-source: coq-quickchick
- Debian-suite: unstable
- Debian-version: 2.0.2-1
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=Q8V4EyOsGBSQKZzBvE1C+PutVrWncHbS4rAEN+tGv9s=; b=Y3iXWCkvbhMntPnEidfKbC3aIZ lISstTICltYyD1R5C1OEUiKrKRjxKUNQXaiSZoePxiwQBvKcJTl14FDkDW2ypHp/4UzTniYAK/xD/ 4OoDvQg0NY5vAMoSMvo9wNAcXnJbJvUs7Vdnv1KaWjPsgwTJuoZAauz3OjviyBoeiHTsSM4LTWp1y nAu7qtsNSJOMD8HVZQS0SsjavhXGh7jD974NJHTiZsddzW/fDLKWvnzQ2dsrU8IEy902LE/h9Uyih PfYBHmA+DiGeN3kJLa7gXptvfGhHKBfDMOmRJsfs7568WV08XhMHFg8UScYXn68NIp3iM8vjhAeSe Ofh7lkoA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rRHLU-00EjuY-9O@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 20 Jan 2024 20:12:13 +0100
Source: coq-quickchick
Architecture: source
Version: 2.0.2-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-quickchick (2.0.2-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
67bf67c833205fe285e24c60f1f83ad315262464 2275 coq-quickchick_2.0.2-1.dsc
20e11d612703de2b2b9efbcb26f0d818d57e39df 415619 coq-quickchick_2.0.2.orig.tar.gz
cd35a3c0ff4932d8f3f6c5a58c6fe8c8ea56b6ab 3048 coq-quickchick_2.0.2-1.debian.tar.xz
d3ed2b4c98004394e14fe25522e79556ee8ed81a 8750 coq-quickchick_2.0.2-1_source.buildinfo
Checksums-Sha256:
dd6903a8352bd0a1d52f04cf794c771b06b10ece3a1562de2493924bf045d8a0 2275 coq-quickchick_2.0.2-1.dsc
666b4dfccd0030989e4351d9b1152a8bd976a577a97316c163532c0802a66811 415619 coq-quickchick_2.0.2.orig.tar.gz
ab62c1bab2dac835b6e96304363075e8547734a196ef8a0a1339e707637a71ec 3048 coq-quickchick_2.0.2-1.debian.tar.xz
f2bf820028c9c7b27c432a325aaff58650fbbead3b47921e59984e4b8cbd4e9c 8750 coq-quickchick_2.0.2-1_source.buildinfo
Files:
6a8dc622d43fb7d98da07153b6db6e09 2275 ocaml optional coq-quickchick_2.0.2-1.dsc
dc00eb702277d91fecc9501e8f1e0347 415619 ocaml optional coq-quickchick_2.0.2.orig.tar.gz
811932a2468b199b324eafffaccfca8a 3048 ocaml optional coq-quickchick_2.0.2-1.debian.tar.xz
1e4af206b98d7d189cdfd754d16f65ec 8750 ocaml optional coq-quickchick_2.0.2-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWsGyQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRle4P/0a0ykkgP9YpVhI0/k10W4JByOw43ziX
w83HtICnToWQNLYTGxr34qDEWYcjSF1mBBrcEyNLh5SzWqhld+AhiSctR0IdySiV
klSyqlpDcjuVm/iw8MQUIHP+i4dQ48ptbkjMCc5wjpbMje4tFX0doD9TgY6Be1mA
jgbfo9EwSant9G1WF+qsqG0edhzudM1mhS1dOk0QVcemrv/mm/uIYuEg12fUks9L
qaK3Vu5QpdnGsXCwBB6gRgUk9o6BUHG5E1QZF7euKMy6QE5tLSQfNzZKsW8uIC2I
UQl4Es1tUNTJmNB5sO9DfexqBpAa/DY4ULNebWwH+OLYJqJmruAOJJvf2O6QUivH
/Fn5Fjo/R6GhoGTiPq2sHUSetVDauTZPTGCFJcAXT9osvI6SyOX8PmpaL4WyHtm5
UzcOgsLRwK+n4VPVk8h4MNnde5FmK/4dYS+UkkGkEHjWokr+gV47dZUrOa0GkMLa
XYe9WRtehe5NLG9VG6FjNOM/lPKhgREhg9X2oaiLSeTkZrijvruHsucnUdSmrpmy
C1PeEcvK9KIXDq/15qWKkKWnN7twa28rDb/CJFnSamhHmGfVdxNhqrGParzh/oTI
P61xaWhCkz5hojEkOOI4fRkiCahHOxTYFDZ1HFE7/MOJN5CpedL4/mCXsX29s+dt
Lb3VMTqwm2Tq
=2UjK
-----END PGP SIGNATURE-----