Accepted haskell-cryptol 3.0.0-1 (source) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Tue, 24 Oct 2023 08:37:44 -0400
Source: haskell-cryptol
Architecture: source
Version: 3.0.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Clint Adams <clint@debian.org>
Changes:
 haskell-cryptol (3.0.0-1) unstable; urgency=medium
 .
   [ Ilias Tsitsimpis ]
   * Declare compliance with Debian policy 4.6.2
 .
   [ Clint Adams ]
   * New upstream version.
Checksums-Sha1:
 953564966e1e855c05223f6a190638a2ae162b33 4930 haskell-cryptol_3.0.0-1.dsc
 64254e374ff0da5ec28a865048c44fd541956e50 527998 haskell-cryptol_3.0.0.orig.tar.gz
 b0f15c8ae01f48a22a8916445aa814e616fc7a19 3768 haskell-cryptol_3.0.0-1.debian.tar.xz
 426b1777e4330d4206291806dbf9a957e561b88d 15705 haskell-cryptol_3.0.0-1_source.buildinfo
Checksums-Sha256:
 f7619759367ac32c177380d6b1472df41ab5aa9870672ca090699d5c356188af 4930 haskell-cryptol_3.0.0-1.dsc
 844660c6a85170f3765161e15e8719c637d96b9c292f96bd455b4cb18dc5d54f 527998 haskell-cryptol_3.0.0.orig.tar.gz
 6d73384afb0dcf377112dfeb10338469939f5febf9b60670d5ef4b64feb5ff8f 3768 haskell-cryptol_3.0.0-1.debian.tar.xz
 b95cf4782fb4693ba58ff910c94faae3a30ab9bc5af7e0535e8549136e2bcbe8 15705 haskell-cryptol_3.0.0-1_source.buildinfo
Files:
 ce559b1f5ba9d9eef5ff5d3a45099d72 4930 haskell optional haskell-cryptol_3.0.0-1.dsc
 2acb97e94b649a3ad79a5a804e3f79aa 527998 haskell optional haskell-cryptol_3.0.0.orig.tar.gz
 20bc1749f3d691d4f0dd0193c873826a 3768 haskell optional haskell-cryptol_3.0.0-1.debian.tar.xz
 f2c62ea176185c2140bd3fad7cfc6803 15705 haskell optional haskell-cryptol_3.0.0-1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJFBAEBCgAvFiEEdYHsh0BT5sgHeRubVZIzHhmdOKgFAmU3u5YRHGNsaW50QGRl
Ymlhbi5vcmcACgkQVZIzHhmdOKjJkQ/+LKKeakQqExwbFLARWayGIoCsg4NRAEqS
wKuWS7KvyOVQGe1zbu/kNYxVn1JtLyInxqHZt8MPYay6QCaJ6BWzTLnYGxmn0TNx
s2dJuQ8qdzipDEgNTgWHQjs+Yw6/UvrNvaDUrC8YgBXaNpldlz+EhMQgeqI8BraS
IN9IfpOdqV2QeQfepb0MoG+lcyMLfI1nOBTrCK1c5N66JCKIPcNZFR2q6kPgUG2x
Q/UcpjvUgETFd8TKff1cnU0rxr2yLIeFKRF9S1b/Pb5LDUleBqSkROqPhWJctal5
txIRbQI311nvARkE0TuFKUOkuGOM7diPTZUAHplQjLTv0olTLpt3M5cbrwS7/A38
S3LF6KRphtS/xWH5SUoc0f2I3hC78/hfzQWIbS918xsqUbX/SWp02eOQPeSVJcAR
hjJXen1/XfZxluCHS7VRjmPpvJe/IwQVJ8aQeU1JeaM9gOuDcqQRbtnX5ZPgjYJ5
5aGsgi7QqLTihlN90L9MYgReQJ/xPayab6XrzYr7e2TbQtXjc5Auvq53FtRIf8yc
fz/qUVgbKM6rpz6SZtx7Qp0/t7fHv0nTal2WHqueh2aIcsynfW8LJqbc9hfTU8Y7
k9ZCJvGS2+C/WXRreLdAnhU4qC4w2OAKw8aqVFnF3YCGhPkfr4bwVlGA9LiBExeo
zNWmdbL9zjI=
=Et2R
-----END PGP SIGNATURE-----