Format: 1.8
Date: Sat, 25 Nov 2017 19:53:50 +0100
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: amd64 all
Version: 2.5.3-3build1
Distribution: bionic-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lcy01-amd64-010.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@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-3build1) bionic; urgency=medium
 .
   * Rebuild against new GHC ABI.
Checksums-Sha1:
 a00c04eb619daa58531ff3bc9c81af0caeb5f995 5728080 agda-bin_2.5.3-3build1_amd64.deb
 7a62c71edd29dd9ccc2c1be7c29727dd2c4da346 3584 agda-mode_2.5.3-3build1_all.deb
 6db4803e591fd47ee5f99f8e7e2b6b9018409b39 3052 agda_2.5.3-3build1_all.deb
 4efee36650b0ba23a89ea240cd701a5e81b282da 13945 agda_2.5.3-3build1_amd64.buildinfo
 26f5d065494e67791f4470427937c1b34dbffe89 40852 elpa-agda2-mode_2.5.3-3build1_all.deb
 c7bbba79b5dca8a6a51530946ee5c76802db82d1 15874428 libghc-agda-dev_2.5.3-3build1_amd64.deb
 31f729097cd7a74424872eb04cc7340000752f7c 2752184 libghc-agda-doc_2.5.3-3build1_all.deb
Checksums-Sha256:
 baede23651629d4b655d9fad5fe180a55e932dc213b689a6aca843d7497e95bd 5728080 agda-bin_2.5.3-3build1_amd64.deb
 6cf08bf23a949c71f3c69ab44ffdafc437db400f5fceef380e4236a8860ac20d 3584 agda-mode_2.5.3-3build1_all.deb
 2163d94fa698545894a0253fe0bf58f9ce1d2792944cd9ec52c8f4809b954420 3052 agda_2.5.3-3build1_all.deb
 a5ecc6352b14720118c68930f6a34e352b55bba70b18b7734a298af5de514227 13945 agda_2.5.3-3build1_amd64.buildinfo
 0a529f8576860ec9bcfa0624f4d557f45ed4326ada3ae5864acce235e259635c 40852 elpa-agda2-mode_2.5.3-3build1_all.deb
 01bea1c378536e3c630bdbcd9798ffb333bc6b5a0f483892c12603de860e39ce 15874428 libghc-agda-dev_2.5.3-3build1_amd64.deb
 c3a8d519bed8eba3d95cde6b1345bb6c32a3063ff8763f23264189da7fd8cf8c 2752184 libghc-agda-doc_2.5.3-3build1_all.deb
Files:
 fa809c136afc46d1e12ce68d3eac8821 5728080 haskell extra agda-bin_2.5.3-3build1_amd64.deb
 786c3bb9eddcf422fe4dd21894ab3ee1 3584 oldlibs extra agda-mode_2.5.3-3build1_all.deb
 31b05db49c47aa742f4307cf3bbb09d9 3052 misc extra agda_2.5.3-3build1_all.deb
 9cd0751175174754468516866efa65ff 13945 haskell extra agda_2.5.3-3build1_amd64.buildinfo
 3f490a99ab3402920ecfc0f902255d82 40852 editors extra elpa-agda2-mode_2.5.3-3build1_all.deb
 b99cb84cd033c1c45317bb15d275d688 15874428 haskell extra libghc-agda-dev_2.5.3-3build1_amd64.deb
 1a966758bf09642da2b8264dbca7c011 2752184 doc extra libghc-agda-doc_2.5.3-3build1_all.deb