Back to haskell-smtlib PTS page

Accepted haskell-smtlib 1.1-2 (source) into unstable



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

Format: 1.8
Date: Wed, 29 Jun 2022 20:45:46 +0300
Source: haskell-smtlib
Architecture: source
Version: 1.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Ilias Tsitsimpis <iliastsi@debian.org>
Changes:
 haskell-smtlib (1.1-2) unstable; urgency=medium
 .
   * Declare compliance with Debian policy 4.6.1
   * Sourceful upload for GHC 9.0.2
Checksums-Sha1:
 f7edb15a5815630fe7d068a337a336a03e2ab801 2223 haskell-smtlib_1.1-2.dsc
 86335c583731cdc5ded164f30a83950acbd2bd6e 2556 haskell-smtlib_1.1-2.debian.tar.xz
 d59bd89eb73dc22ee56bde0e76872a85823f65b0 4920 haskell-smtlib_1.1-2_source.buildinfo
Checksums-Sha256:
 a8218d8a1672fad998e607a191674645bc4152a2c45d0c3e2060f18e879c785e 2223 haskell-smtlib_1.1-2.dsc
 82b0e206d669ade1baaf469a7e9ea588fbccad911e0567fc9549875b869e9d33 2556 haskell-smtlib_1.1-2.debian.tar.xz
 c30de1a854f4457b6cd4125ee248165000af26a7eeb520c47cabc54c222e189a 4920 haskell-smtlib_1.1-2_source.buildinfo
Files:
 d612fda7be66536d24be42c02d615444 2223 haskell optional haskell-smtlib_1.1-2.dsc
 af74512d36812ff92d02d590f5b2a9b5 2556 haskell optional haskell-smtlib_1.1-2.debian.tar.xz
 c818e155aeff2ff1fe7db37dd16f08d0 4920 haskell optional haskell-smtlib_1.1-2_source.buildinfo

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmK8moYUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDxZAg/9ESkZHjDladwGEic5yuNfl67R49Qa
gX4Km7BPGAYrmwLixzgsGN7xdNsEOcaypOX466CtkWH86UuwhfggCtQcjR9SwMme
8lH0cD7rkwB2s431xKmX6AsNkZeDq0/qUtjuz3EKdEmHCFsh8HRmh5fo4pgLiNIr
d5/978W8dDzJKv+LRTSTbha0LjU8viIfC35rD9Rq5PBAuAR01+jHj43MO/cUYb4M
zwTTjQrXtv+hpxiuk/asMF2jrNI8rvjnNt1GDe3ckU7oDWE2Ds6CLCZEqH0rX3Q9
O+qpFxNOH0UYGNwlaulT9AH4h1mM+wEb7oxP8oG/1La+X3YdoueGgqcaEIlDpPuJ
eYzjC6kFPrOWgEL6plyWpZ9XBJrnh0qFgA0PwcMVW4edz8Lr8VQAI5cNJcBtQ9sv
5x89X/d+JxVkrWJWvBRDV+fcUihiOV/3IPImCM1zF6Xm3IX01kok7YMFWKndnD7S
m+QQMS56Su7hr+o0dhXy1FauvMbVBW7IpPC232uATAboGNpNH75e118CNk1wKSgw
MKNkSYJOe0M8+Tg/vyBexnBUTGr7AlJUFWwXwMRCvsSattgdkugqUsV4sMIA3/Kg
bbYQMReSGTzALUO6nJxcEHfpO3xiVSAtQ+M9FmcKw0eaMnXR836Hu2kg3q2tZvQz
71l8zPMsmsn8s6w=
=m/Y8
-----END PGP SIGNATURE-----