Accepted coq-reglang 1.1.3-1 (source amd64) into unstable, unstable

-----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-----