Accepted coq-unimath 20220816-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-unimath 20220816-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 22 Aug 2022 12:35:10 +0000
- 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:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=v2zIGMpl3NqkHh37mLyQ/MQZ1/CB61bLScs3cbaKOLc=; b=dNtlxBxy9UrUnlx7mXvEsA+J8Q wOxaFBc6jZPWfuBz9202u8gRtOHmw42D69R7h4eICX8jZuW+PIaHtVoCYmXscn+Bfa8jsLkONtbR4 MI5DnJBLx2mkiRW3F95f8NvfpxQNQDKivK31RySRJ5pH6x+T2NWVr2/NjStD4o1oC7MiUIdsSoD5j ofS4CR6g+6WRKNAJefhUOICLxEmCyoOAtQMxY/7E9Wye4TavKPvROgpasJk0wettcEkAUnCs952Pi yaMKKCTOslC9BkIO4QrihbtixCya88uAsZEl3XvDLLPtg3FaWHMqVxMy4xXrz+EoFeBkPiaO8eO6u crIyOShg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oQ6e6-000U4d-AE@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 22 Aug 2022 09:29:37 +0200
Source: coq-unimath
Architecture: source
Version: 20220816-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-unimath (20220816-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
30338b73c288b08659cc00bb9ae1df3c5bfcd92e 2094 coq-unimath_20220816-1.dsc
db44a40019c97b9eb9752006d1c8d7e2ba0bc948 1986848 coq-unimath_20220816.orig.tar.gz
6e9167262824c213e1011c1462df788bf4559c47 1728 coq-unimath_20220816-1.debian.tar.xz
7e9482ce883d8e78c4a043a7fa64fc8150d2be5c 6991 coq-unimath_20220816-1_source.buildinfo
Checksums-Sha256:
c6ad940fd3d07460c025ea2dce457d6e17f472796f14ad7562358841b39c8ba5 2094 coq-unimath_20220816-1.dsc
c03a648f95570b7e3726507b6e01e642e2287bfd5ef061aa92c83693043a7920 1986848 coq-unimath_20220816.orig.tar.gz
3fec4a89caf562136b044b979b394149b2773e789c2432bb56a46028c9e3cab7 1728 coq-unimath_20220816-1.debian.tar.xz
9e8bb86b5b6669432bc04aa0763c0425601e225254b705b01a39e14f008a51e8 6991 coq-unimath_20220816-1_source.buildinfo
Files:
bde3263b50f328bc810348b03aeda36e 2094 ocaml optional coq-unimath_20220816-1.dsc
8477650af351ef4c383c7c6e2e214def 1986848 ocaml optional coq-unimath_20220816.orig.tar.gz
aae7dd3709765cfafef7ce11f2e9a31f 1728 ocaml optional coq-unimath_20220816-1.debian.tar.xz
da0c96c8b0522145982dbeb9ed8654a8 6991 ocaml optional coq-unimath_20220816-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMDMKQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRthQP/27JGWQU2OSoaIHgIUpGXbIaKs57D2oh
XC0qFbQ4sVRV1h7w1R4fEgPFdtnbb4aeotodXUq5K2S7RFzuH91oaZ1yt/dSRKnp
Vhz8/7fZFyoPZFtWbr5szwipDrP2k+4QNIzVlxZkOOZVislnLLbYyYwZHx3qjCB8
6SzCmFQHI1c0en5Zu7t+jyQE5YrOddQ0Hsp/49mW4Pi/jJQseDqpBVVIzO2NXkDb
QyffPdF3urE3MDraE+iwhWCs7X4EJhJ7Xhe/UqQQ0bEFGivnlxsresDdnHOndDu2
jVWdsbSqkbvJDRD+1shS53X+BCDIjmMytfyQbdwBjEGJdomoCdpNAE2XtavTyOgc
4NKQkamh2M5VZ2IkWG+wHhJMGMnN8eaivODYFZqN2yQnNlDvX9gs81gtlt5tbP03
RnJajnJLN0vWriFXMw2CzELgE/zepFF/SwXfyF7a4Yo+s22pDk+FTn0+90MUQ2zN
PYfwEZtBpMxYvBLN9iQZijQmZZhxz1H1QewfUqbV+dBrNOfooyMDoChG4rG8zOS1
dimyAjtpf6ibv+kGydtvxbppj/PcJJ/93AsSIMgTWWScOwlDPJI7rR2pEk61c6KU
FyKll2oYF3Dz08JdYJLgrzuzU09RamTJhDM11ynr7xg+yWTn17ZKD9job9n3e37j
Uxc2jstO0mbO
=TR8G
-----END PGP SIGNATURE-----