Format: 1.8
Date: Sun, 29 Apr 2018 08:41:41 -0400
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: arm64
Version: 2.5.3-5
Distribution: cosmic-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-008.buildd>
Changed-By: Clint Adams <clint@debian.org>
Description:
 agda       - dependently typed functional programming language
 agda-bin   - commandline interface to Agda
 agda-mode  - transitional dummy package for elpa-agda2-mode
 elpa-agda2-mode - dependently typed functional programming language — emacs mode
 libghc-agda-dev - dependently typed functional programming language
 libghc-agda-doc - dependently typed functional programming language
Changes:
 agda (2.5.3-5) unstable; urgency=medium
 .
   * Patch for newer EdisonCore.
Checksums-Sha1:
 8566dad97e9a71f59db6e946f77a141dc0bf692c 6535592 agda-bin_2.5.3-5_arm64.deb
 58c036e76ea13b317b19290e3bedbc3aa5665474 11773 agda_2.5.3-5_arm64.buildinfo
 218f0e49c8945075c39ef29d53f2e816ece348d7 18463496 libghc-agda-dev_2.5.3-5_arm64.deb
Checksums-Sha256:
 e76b03a2fea617fb0f44f8936e6f2f1f07f5ac5673458bd3b5b8d1cc12412c93 6535592 agda-bin_2.5.3-5_arm64.deb
 a7ad76507f31f8cdbb0fa02dabda2b1acb6504d81c93ab91f2f2b76dcfadb197 11773 agda_2.5.3-5_arm64.buildinfo
 dd30849bb189819230cc711cbd3323d7b0bc2513cd5667539a26754ab9c3d434 18463496 libghc-agda-dev_2.5.3-5_arm64.deb
Files:
 dc78581cca49ff25561a17459b17e4f0 6535592 haskell optional agda-bin_2.5.3-5_arm64.deb
 1a294bc86aac5011eb9233b255bee221 11773 haskell optional agda_2.5.3-5_arm64.buildinfo
 09d75de6056ecdadf6923b3c54b6c50c 18463496 haskell optional libghc-agda-dev_2.5.3-5_arm64.deb