Format: 1.8 Date: Wed, 20 May 2015 13:08:33 +0100 Source: agda Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin Architecture: all amd64 Version: 2.4.2.2-2 Distribution: wily-proposed Urgency: medium Maintainer: Ubuntu/amd64 Build Daemon Changed-By: Iain Lane Description: agda - dependently typed functional programming language agda-bin - commandline interface to Agda agda-mode - dependently typed functional programming language — emacs mode libghc-agda-dev - dependently typed functional programming language${haskell:ShortB libghc-agda-doc - dependently typed functional programming language${haskell:ShortB Changes: agda (2.4.2.2-2) unstable; urgency=medium . * [d5cf60f] Depend on ${shlibs:Depends}, to get libc (& maybe other) deps Checksums-Sha1: a78ec15f5048ec365646981928db6fd20cfd1309 2042436 libghc-agda-doc_2.4.2.2-2_all.deb 75f9bbfc07b0b1c0b510af774babf45bf9e9b3d7 36274 agda-mode_2.4.2.2-2_all.deb 2b9d3fc86208649d43a66d30dd55029873fc77a3 3014 agda_2.4.2.2-2_all.deb 1a4ba090316a53b44b937d9b69e4a3a778415a0d 10684484 libghc-agda-dev_2.4.2.2-2_amd64.deb f2424c8324e3e7686663892883970b1129e72403 4535112 agda-bin_2.4.2.2-2_amd64.deb Checksums-Sha256: 27c783355c396dd3706d5b6bb19d341f6a1c94920b1b42f8fca4e94170e24f76 2042436 libghc-agda-doc_2.4.2.2-2_all.deb 18048ce1f3ac81b6ad7977d2234111a97312641fe04408eb13edb0c86495d4eb 36274 agda-mode_2.4.2.2-2_all.deb def936902dfc7e57b9a7a5bbdbd2e568eed282ba0899e7f5d7ddb60dc35b0347 3014 agda_2.4.2.2-2_all.deb dd4b05d1bde83aed5c5580a946b0bb2e75286ee354e32957026b97ae16aabeb3 10684484 libghc-agda-dev_2.4.2.2-2_amd64.deb fcaea2610c176e2914dcd3852173088131fc9861548d95ec810e9bdb1f7032a1 4535112 agda-bin_2.4.2.2-2_amd64.deb Files: 0fe35df880108279752c31dff0345201 2042436 doc extra libghc-agda-doc_2.4.2.2-2_all.deb e059d752d4e01ac2a23f2cefe31f06f3 36274 misc extra agda-mode_2.4.2.2-2_all.deb 7a4b0d5094d6d54d914cd60182af0a08 3014 misc extra agda_2.4.2.2-2_all.deb 84490163298eca0c9e395a2ee891ed19 10684484 haskell extra libghc-agda-dev_2.4.2.2-2_amd64.deb e608773e17a5857c03b1745d0b44be73 4535112 haskell extra agda-bin_2.4.2.2-2_amd64.deb