Accepted coq-reglang 1.1.3-1 (source amd64) into unstable, unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-reglang 1.1.3-1 (source amd64) into unstable, unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 18 Jul 2022 16:00: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=F+IXGinPcBNO752pejHnIA8MZd1zmrsCOq8YO+g0eWM=; b=Ip83XNPXPoU2AvK73lYxp99oKz 59iB/4Rqfyi4iBryIDUUE2s3BlDtpzoOTsUZaa18OlKqi4Xok4j0fXctX/dN0kF/TozRcEgjTFzFG D1Fx2DWLlHzHkayTpgfbCSmI1Uv8p+9ie3GxQasY0QXBv0hhn+kagFNkBYXCWhfuTqZl6e/pRaGQ4 ly41PUvJNI1usLjYb1E0XxHITAjSHoKDUINbpgcBzXkNFDFhSighiflw8IztxVNy/JBK6XIU7PqzF UXKixG6v+2JmV5Hh4UAP04+xbM/Cl2zQOJiwTxI5UAdobZuuPtg1SVl0viMmymiJN+2x3BPSkmVDp t3gUJxTw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oDTAI-000BFO-UI@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 15 Jul 2022 22:53:38 +0200
Source: coq-reglang
Binary: libcoq-reglang
Architecture: source amd64
Version: 1.1.3-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-reglang - representation of regular languages in Coq
Closes: 1014993
Changes:
coq-reglang (1.1.3-1) unstable; urgency=medium
.
* Initial release. (Closes: #1014993)
Checksums-Sha1:
d7e5ad61f78ddaf116164825f655e8eca807e189 2106 coq-reglang_1.1.3-1.dsc
851f2a363f8ff7103b18844f6dbcfb348ba3e2e3 67023 coq-reglang_1.1.3.orig.tar.gz
e2fbae33b38928f5ef08575a003f31a63562859b 8328 coq-reglang_1.1.3-1.debian.tar.xz
347174b13a9b2e324b3e1afd74ee89becf216759 7199 coq-reglang_1.1.3-1_amd64.buildinfo
f318a381729bbd88cb558ec08356b3c3a12b01d2 721656 libcoq-reglang_1.1.3-1_amd64.deb
Checksums-Sha256:
2ada31cfd864a69fd12610408a0cc1829440d4b093663abd8dbc4b90340f1598 2106 coq-reglang_1.1.3-1.dsc
eb36d5bdd375663f3cd3627f5f3cca54ddfc83982a1f8dc106b2424cf1ca371f 67023 coq-reglang_1.1.3.orig.tar.gz
6cab30ec0d3b1e8c07b399210f379863be9a2024eca3c1995a223e6f9bb4d7f9 8328 coq-reglang_1.1.3-1.debian.tar.xz
55ebf0badefc334bf2dc94cb1b5a978cf72412629e4a8de5a4348e18987c3547 7199 coq-reglang_1.1.3-1_amd64.buildinfo
fff7227467ec44740d487c0a658cb41dfe446bd06ca88904b8223eb006b061cb 721656 libcoq-reglang_1.1.3-1_amd64.deb
Files:
a7f93ad50a2c780bf8f3d33276a68e31 2106 ocaml optional coq-reglang_1.1.3-1.dsc
36011415d0f49a7dddcb02b89dffd288 67023 ocaml optional coq-reglang_1.1.3.orig.tar.gz
da86be93947bbd4e32f467ff95f222e4 8328 ocaml optional coq-reglang_1.1.3-1.debian.tar.xz
ff4c5036e8c76be00022e50fed8126ca 7199 ocaml optional coq-reglang_1.1.3-1_amd64.buildinfo
e4e9fd7c5a7c7cebf5af62eed2cb8305 721656 ocaml optional libcoq-reglang_1.1.3-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLR1G8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRDnYP/0M0hj+NQNz6T2stNj/MXCCxyqiTad7x
kvzQlROjgjuO9ttfD9f8mcHqDVVkv9ewhQPW3+6KIGl2bKF7JrXVNpPGKzWkQAM6
taXR8L3Jbr6f1n0e2dX0wc8rzNFdRF1jGYhP3LzOBH25qxhKdJvD9HPi9l0r8iKd
L1V5K9JntedEzViNwhKMen0BofuD1EaUsChKtvFfQCWU2I5lR+TXdjlv7C4j1Zku
iQ482R0KahpURdy85028GM5FLNS0w2nc5MrZyc1bMa3GA4uB6BLV/fEi+plIZHxg
G35EaQ82eRKAU8rNbm7fzTf9sNFWwQlb05NtgRpWX5Od2mr9CWRAaezPkxhCbNwL
7NHhWIu17Ic+f3bNJSzCTHsrqfAlpix67pc+Ng08PGcXU6gQL8dih1xDQ7x7VmGA
kybcJcR+ToU0n5ULTkEOpBUrEupfLAeue1LC8S+7pjhF+BFaR0THZWpqLZqUCgWd
Dz3xFj0CwUYJ4oQsj40T/ijnw2KAs7QdwxzRT9bYJm5n8QPA7zxuJ68K9Y6saRYI
P1aKTd1tvPG0xtSwxmGaVvYuoZcFtsHDqUjTl+8ZwY6V/Tt5g6z7s1pTB6w7be/i
D8N5nc+kpvuMHWnvQfa7slgyi171KTlxubo2pLABF6ig9sD13Fs5njfi+Xs53aaz
OGSahKr7+hfm
=IoFs
-----END PGP SIGNATURE-----