Format: 1.8
Date: Wed, 08 Nov 2023 10:33:05 +0100
Source: agda
Binary: agda-bin libghc-agda-dev
Built-For-Profiles: noudeb
Architecture: s390x
Version: 2.6.3-1build1
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-s390x-002.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 agda-bin   - commandline interface to Agda
 libghc-agda-dev - dependently typed functional programming language
Changes:
 agda (2.6.3-1build1) noble; urgency=medium
 .
   * Rebuild against new GHC ABI.
Checksums-Sha1:
 4e38992f9aed02b965e180404b76c020dc4038fb 17356626 agda-bin_2.6.3-1build1_s390x.deb
 ea72b558775f418c759871368909a97ab51f600c 15947 agda_2.6.3-1build1_s390x.buildinfo
 fd4e88fe65b6c39543474ca63b9e41d1e1fdd840 39704752 libghc-agda-dev_2.6.3-1build1_s390x.deb
Checksums-Sha256:
 8c47f3e7dd88397864cb00caa99e4b1004a490133d47d5262d13464e5850127c 17356626 agda-bin_2.6.3-1build1_s390x.deb
 c982c9ae7f9128adf43019635944c05725e1bac1ba4c646953fc44f702f6bc3d 15947 agda_2.6.3-1build1_s390x.buildinfo
 107053692470660a412424398b44bd69563b10fd7ba5ebe75a2704ff7a7a0d64 39704752 libghc-agda-dev_2.6.3-1build1_s390x.deb
Files:
 281dab5e5ea693cc6fc24cc0c9963b2f 17356626 haskell optional agda-bin_2.6.3-1build1_s390x.deb
 d5bc34f69540e845600bc2a5176dea61 15947 haskell optional agda_2.6.3-1build1_s390x.buildinfo
 f6d781f8d73d84834028ecd11bd73718 39704752 haskell optional libghc-agda-dev_2.6.3-1build1_s390x.deb