Accepted coq-deriving 0.1.1-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-deriving 0.1.1-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 14 Jun 2023 14:24:17 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-deriving_0.1.1-1_source.changes
- Debian-source: coq-deriving
- Debian-suite: unstable
- Debian-version: 0.1.1-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=kyrEuBZFmbFQ4BAT8v3cOkqP4qFwNIO7iENigf889a0=; b=cAUhZfGBFDwU5yy/b/cYL842FJ f3r0gNEdEWd6l8L2XZCnMp0usluGuLeXoE2bqiiaqkE1m+FOJYU9I2DuBQAYFHrA0LhBHkCj9wMZa Y5V0dKQn2kA1XTOa87Dv9UEHE9BM5pxSSR9oDDUeGbA3VH0YWgq1FrrGWT04oMTxqBQHaifO039V+ ByIEQ8qjBeE0eq1m9YDV4M890XOCX1drl8fexwrMg10UnEAvSfm/JSdQlIypW9ocViEunCpQjsAJh KnWfM6YE2V9LjFSWm3GdlUxeXxK7TPIqkjhj/ugCiqGM5PqNos79zZfiecp69p9CYtBgyLsnu79Um 6UpmX+fw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1q9RQ1-009No4-5o@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 14 Jun 2023 15:45:16 +0200
Source: coq-deriving
Architecture: source
Version: 0.1.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-deriving (0.1.1-1) unstable; urgency=medium
.
* New upstream release.
* Bump standards-version to 4.6.2.
Checksums-Sha1:
f853669005ebfe171c2c15043a5cbf1ce01c622d 2113 coq-deriving_0.1.1-1.dsc
5bbe3104bb4f9c5fda07a9a5d5d4ee4df59f15b5 30057 coq-deriving_0.1.1.orig.tar.gz
341f5e86ae26e96cbcf4f43d51631838a9913b84 2012 coq-deriving_0.1.1-1.debian.tar.xz
8397a9265614a87b7270d370d24687a5dda3c42a 7482 coq-deriving_0.1.1-1_source.buildinfo
Checksums-Sha256:
76e692a876fd7e6963630b47740b1ce7bc14f715d4f01bf4cb847ee82100676c 2113 coq-deriving_0.1.1-1.dsc
9427f6b5400d2de875b7619baac9c999a8838e8c1ed928b24e92bf74dc3c9737 30057 coq-deriving_0.1.1.orig.tar.gz
be3cee45d1b01cfb41325d4e3c42a25c92678774f1ba30aafcbd28f88b988320 2012 coq-deriving_0.1.1-1.debian.tar.xz
c92362bb5ccffb6092c16777257245af6fa8bac102aafd9bb0bd38667b3452a2 7482 coq-deriving_0.1.1-1_source.buildinfo
Files:
a81b579cb2da341af4e8460907b79064 2113 ocaml optional coq-deriving_0.1.1-1.dsc
07aee9be3160eca13fbeb6a17d9f8c44 30057 ocaml optional coq-deriving_0.1.1.orig.tar.gz
b23b4a6d9cef1686f44cce12c4b15adb 2012 ocaml optional coq-deriving_0.1.1-1.debian.tar.xz
88376e6cdfee7650e93afa3bb824ec8b 7482 ocaml optional coq-deriving_0.1.1-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSJxHcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRIQcP+gKm+yOsG8wu1+DDPUNtolgxPp12beFU
qEhZIV9EUQ4S60poMCHGGjTknm2XWfrPfc08yOBy3kNAReKHbLvILBFd11Kx4fcR
r4eOT0c9HXxwMwZYSarljke8CtzuNGxBogv54dmBflNgm+MyJNNucsoGUwsOG2ny
aURasBDcHSPGl2E1/teQDF9qJdTrPVdZ/dRUj58bxZcwBuiqbBOxkPk26lv5Oo+t
m+h2LiqAH6GE3f6LwbTaBM+uCjVyRaGx1SwxARgsttakuA2zd5HWIL7+6PLi/Dzz
zyUt80rrlFgWxSDMwhSY8FAzEwXw1Sp4mJD9t3TMZl9M57F1WSh/V/uswadG4i61
KlwJ9mu9mpXQuShUgAK6ybu3xqKGDAXX9uu4H93wLCmkGJMbIciklmmbr6Zvq9lg
U6EUNodnIT+djrKajJWRmEOjcoBlEPutpdd7TcP30ZwcZOPUyZySzDtOeVvdR2pd
YqSCXlljUuvZZ4yptrssh6RuRWfXVd+SiWMQsIsqGMf7CME8GyDMbmSDQwgTTMIs
k0Qq4acZY1jIY72RcHlxUSNsC5jG0s9Wj+zvXP7SJeaXmaUNWPhPJKJhaIwjG2z0
Yz62pA+t7zjGYgLwm5B8tuX3xyy8SLrEaFFRRcRWOdJRvZfp5jR31D2AwswwcjPi
Gq7NJXt4Pv33
=bnOy
-----END PGP SIGNATURE-----