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: arm64
Version: 2.6.3-1build1
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-058.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:
 b9f84d169b3792ff01706b5920f5fac7c100f65c 11677582 agda-bin_2.6.3-1build1_arm64.deb
 dae19140d228d3207416285a94c500ee15eee7a1 15858 agda_2.6.3-1build1_arm64.buildinfo
 cc25d975ef29c081a69e01bb8912a1b3d91d5733 29053628 libghc-agda-dev_2.6.3-1build1_arm64.deb
Checksums-Sha256:
 f6fea1702a056fb40819d3df576068c38c38417665844111950c0052229d43d5 11677582 agda-bin_2.6.3-1build1_arm64.deb
 a37abb55671cd11a216f15e20a93edeadea51d479411dce7120eeba199d0ca3e 15858 agda_2.6.3-1build1_arm64.buildinfo
 98a766f0f82e5a1e37e9777bac19d2042e9e1f03568904b548ce97f2a46b7077 29053628 libghc-agda-dev_2.6.3-1build1_arm64.deb
Files:
 6c49e851970e2dde2900e06e1aa144d6 11677582 haskell optional agda-bin_2.6.3-1build1_arm64.deb
 98046d90ea05f305f76b74ccbf72c6af 15858 haskell optional agda_2.6.3-1build1_arm64.buildinfo
 c7b0a259eaedc0d3f846cce135e88511 29053628 haskell optional libghc-agda-dev_2.6.3-1build1_arm64.deb