Accepted haskell-smtlib 1.0.9-2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 30 Sep 2018 21:20:57 +0300
Source: haskell-smtlib
Binary: libghc-smtlib-dev libghc-smtlib-prof libghc-smtlib-doc
Architecture: source
Version: 1.0.9-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Ilias Tsitsimpis <iliastsi@debian.org>
Description:
libghc-smtlib-dev -
libghc-smtlib-doc -
libghc-smtlib-prof -
Changes:
haskell-smtlib (1.0.9-2) unstable; urgency=medium
.
* Bump debhelper compat level to 10
Checksums-Sha1:
03e2ca1450ca81ba402b3d089d0c1de9844a63e3 2237 haskell-smtlib_1.0.9-2.dsc
e7bc67e2887dc79912eea08ad20463c6ac467019 2508 haskell-smtlib_1.0.9-2.debian.tar.xz
26c8b9a104d3cadf0414abe0a87310b97fddf608 5746 haskell-smtlib_1.0.9-2_source.buildinfo
Checksums-Sha256:
adfdef2f5ca5f0457d8767037ce0d177c7d791cfe0f11e535a026319d665e841 2237 haskell-smtlib_1.0.9-2.dsc
973f91cc4c54fb85fcce97094eaa6a96fde5b969cdb24e6d7392f7c9abfeb607 2508 haskell-smtlib_1.0.9-2.debian.tar.xz
9dc9ad793e3682bc245746f582f2c133a9a2f51b9a79fc34c04889b154807120 5746 haskell-smtlib_1.0.9-2_source.buildinfo
Files:
1989628ec8320bf9c3104a5f5ed1ab8b 2237 haskell optional haskell-smtlib_1.0.9-2.dsc
20dde8257da13fa2628e82e771338e36 2508 haskell optional haskell-smtlib_1.0.9-2.debian.tar.xz
3028dc68f54a730e9acc265284fe0814 5746 haskell optional haskell-smtlib_1.0.9-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAluxNMUUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDw6Ow//TI7DY4n7HNLdPxVDbBaTvuldINKA
QRm3ELL59Y9u15uGAGiKNL16POZP4R69W00RJfVEV4owGStk1/9h6gSaFFtTxFu/
+uZryea+3Mcp0NS1eGf2qSO3YtWWUdKSkUazKk3a5C/1Of0I7ZglrIMrvlHjgnwz
PG8ah8Q86G8A7g4Z94RSKZb0f/QOWuhF7hvcOwSeWmpKRSdmYzHE8/j+MNTV+YNl
D8nwbWBZDUhHbT8l6emT/2gOs8RkoXz++YuShOjr0zsUV1ux8/Kaa6Y0bKd/i0EF
IkTT2q+i8th7y1H9YqM5nozRSE7hOOxDAUov6bvan++UyeP/FNnVOY00cKwwGMem
rUfQqsBWyKnCC0lCViimN5gZz7JiUOi4Hefwlha4kM4lpsCv9nGo+J0QCVf05om3
dWBT1wFTk+aIqjuF6R4TeBZeRvyTHz6j8filEuFm9ChzFNaz9ndlxss+5P53xEo4
O6hIu+PawuyeQRIjddXhC+CGzMrrJeb3inzCHP00QEQN1MZAYwLLlnvu92puefaF
evRMS0l2stQ7ykf9cq3+krgyoFACf0j9n6eg/WNSi6XkGBqg8Bv0h/7UQGrdUvqE
A6MidSlR1C9S+KnWa7FuwEBysHLeh1eqg9tRCuWFaIYD12FyYdEKR0YVbHbGRYVo
DEDfy1nnXoRy3IA=
=BHAa
-----END PGP SIGNATURE-----