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: amd64 all
Version: 2.5.3-5
Distribution: cosmic-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lcy01-amd64-011.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:
 ccf5492128cf994f3f0fbb9458e899c142a4fbf7 5750816 agda-bin_2.5.3-5_amd64.deb
 76f5b86898bd6ecbb047ffb47aaebb19fc8798b5 3760 agda-mode_2.5.3-5_all.deb
 c158dae475c341eebbf69f076364781b680fca60 3040 agda_2.5.3-5_all.deb
 eea0cd5ee900e09c6f572bd2dcc169a506ccfe60 13525 agda_2.5.3-5_amd64.buildinfo
 cebb251ddecc7a2f96940491db986ad41a9059e2 41048 elpa-agda2-mode_2.5.3-5_all.deb
 1241646076a3cdbc1b67a6f3ec44cf28dc5924b9 16115996 libghc-agda-dev_2.5.3-5_amd64.deb
 309a49eb2e92c0276eadf96a5e1b632d92ffc532 2647708 libghc-agda-doc_2.5.3-5_all.deb
Checksums-Sha256:
 a8f8f797288a6e24766a0994ba2469e75175f91b0066505f12f698f63bdef55c 5750816 agda-bin_2.5.3-5_amd64.deb
 f2d9ead679c5b4848ccbd43ffe77372950a40f53d7f57fdb56a4a676ed6bf990 3760 agda-mode_2.5.3-5_all.deb
 8ec990d8cd114095ef00d709eea98f5dd902eb1b84376d5dfb8886cdfe2e2d1b 3040 agda_2.5.3-5_all.deb
 a7a1e153fb82ddd8c084a993a9a087202d8bc57abf49ac5e3d64f3821a1bd5db 13525 agda_2.5.3-5_amd64.buildinfo
 f3f1d7f4470c45328e77fead2df7e4bb1f85dcc0c0eaff91eeb6bab569da6c30 41048 elpa-agda2-mode_2.5.3-5_all.deb
 9d54fc9c3906a4de147a23e62217d2447087b78c1215be5c37e1f5ee73212573 16115996 libghc-agda-dev_2.5.3-5_amd64.deb
 836dd0204bc21f6434a31df7782f3c17a81b284ee6c94d8b4194f0dfc0734d5f 2647708 libghc-agda-doc_2.5.3-5_all.deb
Files:
 312f5d4a6ed883b404395fea31c4ef7e 5750816 haskell optional agda-bin_2.5.3-5_amd64.deb
 33a143c78e8d750d1478cbb0f709229f 3760 oldlibs optional agda-mode_2.5.3-5_all.deb
 5196334ffd9f71b44d5ff04b3db23023 3040 misc optional agda_2.5.3-5_all.deb
 a0b0cabd6586b9e5d1191b30ad85efe4 13525 haskell optional agda_2.5.3-5_amd64.buildinfo
 c3bb73a8bcfd626f57dcce67afb6cc62 41048 editors optional elpa-agda2-mode_2.5.3-5_all.deb
 8c28aacd5e796bf734acf9cac532935e 16115996 haskell optional libghc-agda-dev_2.5.3-5_amd64.deb
 6db5035b3f664e0814438971e4283257 2647708 doc optional libghc-agda-doc_2.5.3-5_all.deb