Format: 1.8
Date: Sun, 27 Aug 2023 12:40:08 +0300
Source: haskell-smtlib
Binary: libghc-smtlib-dev libghc-smtlib-prof
Built-For-Profiles: noudeb
Architecture: armhf
Version: 1.1-3
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-076.buildd>
Changed-By: Ilias Tsitsimpis <iliastsi@debian.org>
Description:
 libghc-smtlib-dev -
 libghc-smtlib-prof -
Changes:
 haskell-smtlib (1.1-3) unstable; urgency=medium
 .
   * Remove developer Kristoffer H Rose from Uploaders.
   * Declare compliance with Debian policy 4.6.2
   * Sourceful upload for GHC 9.4
Checksums-Sha1:
 8e442aa209d64e72a96ea225688b128ac1fcc727 8125 haskell-smtlib_1.1-3_armhf.buildinfo
 4b5b3959f3b234d5ffda5202e46998614c3eb2fe 605380 libghc-smtlib-dev_1.1-3_armhf.deb
 ad1e504d6c75bc8735fc987333937dfad7020e9a 593822 libghc-smtlib-prof_1.1-3_armhf.deb
Checksums-Sha256:
 8d8ff0ea54ae6d36dcac11208c46f762dff7edd9dfde0aa6005ef9a6f67c2ef0 8125 haskell-smtlib_1.1-3_armhf.buildinfo
 fb409486fb582eae3a8434d6f9d0ab53e2e8ff8f7aea4d23fd7532e835580580 605380 libghc-smtlib-dev_1.1-3_armhf.deb
 d7f57fb19c68c9f83c8680c8ad133c42f86510258ac6ddb2dc7b83530c76d650 593822 libghc-smtlib-prof_1.1-3_armhf.deb
Files:
 87da3a7c6626f390df1ea37d3fb9bdbc 8125 haskell optional haskell-smtlib_1.1-3_armhf.buildinfo
 9415c4c209f19d37d29a5596a29d6128 605380 haskell optional libghc-smtlib-dev_1.1-3_armhf.deb
 ac05441de2196d53e54b422b74b0458e 593822 haskell optional libghc-smtlib-prof_1.1-3_armhf.deb