Format: 1.8 Date: Sat, 08 Feb 2020 10:55:44 +0000 Source: agda Binary: agda agda-bin agda-mode elpa-agda2-mode libghc-agda-dev libghc-agda-doc Architecture: amd64 all Version: 2.6.0.1-1build4 Distribution: focal-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Matthias Klose 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.6.0.1-1build4) focal; urgency=medium . * No-change rebuild with fixed binutils on arm64. Checksums-Sha1: 12197566c9cbbd75f27739b4552e00e43b6031f9 6571852 agda-bin_2.6.0.1-1build4_amd64.deb 757ec4c5f30596e6664a0a7da6d84fad4a6d4495 3644 agda-mode_2.6.0.1-1build4_all.deb ae51425497c3d3cf16113ef1f3cc205f37f2492f 4056 agda_2.6.0.1-1build4_all.deb 40bc5b56d88e4673b1d5b1d4efd9858d423885d1 14736 agda_2.6.0.1-1build4_amd64.buildinfo a6155012b325750fd6931c3c6fec89eca500aa2d 41180 elpa-agda2-mode_2.6.0.1-1build4_all.deb ce2d8e7a624b8c9aa09ad42ba605bf362ece4953 19681864 libghc-agda-dev_2.6.0.1-1build4_amd64.deb 71cacb26484e0476ca9b5e661595c3d0a5a48152 4206940 libghc-agda-doc_2.6.0.1-1build4_all.deb Checksums-Sha256: d536857d5bfa015487b2c9f1c21f8c326b7b19957becee898b1d75c7b293f5f9 6571852 agda-bin_2.6.0.1-1build4_amd64.deb 2aaf9f7a284d1979d95fad99a618df8d38f8aced5eaf9b1c74be7b707fbca19f 3644 agda-mode_2.6.0.1-1build4_all.deb adae59f44ab0c1d8ee77dd82bb439b95253ecf5fd7d476c207a99e2d670eb38a 4056 agda_2.6.0.1-1build4_all.deb 1897335893f21f6e957e131cd13dfdcb51953058304a38f9ea782deb78f3cd44 14736 agda_2.6.0.1-1build4_amd64.buildinfo 0e79289b62ea37a07cd770787766f9eca802c7bfd64cfce142b22a447de3aa37 41180 elpa-agda2-mode_2.6.0.1-1build4_all.deb 09540e5ec3109a3f9b6254400d59e88bc768de05e1317b9835d4159a7620a653 19681864 libghc-agda-dev_2.6.0.1-1build4_amd64.deb 1e71b4e32e227336ebc602eff498452f8cb5dc2e78bef51d393fdf74d9002296 4206940 libghc-agda-doc_2.6.0.1-1build4_all.deb Files: 2200a9a525c378d559ada554b063260d 6571852 haskell optional agda-bin_2.6.0.1-1build4_amd64.deb 52bfc8d75d1b5dde576d0b1594c3f2f7 3644 oldlibs optional agda-mode_2.6.0.1-1build4_all.deb 47b582196df2e862eb2fa0de3952b4b2 4056 misc optional agda_2.6.0.1-1build4_all.deb 74daad2a2383dfe05bc2c9a514504256 14736 haskell optional agda_2.6.0.1-1build4_amd64.buildinfo 2e4fbbece37c5a1c76ebd215bbdad104 41180 editors optional elpa-agda2-mode_2.6.0.1-1build4_all.deb 509fb60805bf83f6c7973d107d5ba482 19681864 haskell optional libghc-agda-dev_2.6.0.1-1build4_amd64.deb 33708b7f24c946f3edc2e9ed0d1d08fc 4206940 doc optional libghc-agda-doc_2.6.0.1-1build4_all.deb Original-Maintainer: Debian Haskell Group