agda (2.3.2.1-2build1) trusty; urgency=low * Rebuild for new GHC ABIs.
Date: Sun, 27 Oct 2013 23:38:41 -0700 Changed-By: Colin Watson <[email protected]> Maintainer: Debian Haskell Group <[email protected]> https://launchpad.net/ubuntu/trusty/+source/agda/2.3.2.1-2build1
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sun, 27 Oct 2013 23:38:41 -0700 Source: agda Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin Architecture: source Version: 2.3.2.1-2build1 Distribution: trusty Urgency: low Maintainer: Debian Haskell Group <[email protected]> Changed-By: Colin Watson <[email protected]> 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.3.2.1-2build1) trusty; urgency=low . * Rebuild for new GHC ABIs. Checksums-Sha1: 02fd060de1ceb8cd9a5a15f408166f3dec96474a 3360 agda_2.3.2.1-2build1.dsc 1a25d89d17fc8b35d921a8870a84ed9c08074815 7785 agda_2.3.2.1-2build1.debian.tar.gz Checksums-Sha256: a07076d923b0e15b135c59e17e1a88efeda06df7a4fad43acea48ab66ce619fe 3360 agda_2.3.2.1-2build1.dsc 7c94eb89daa8f6fa6059e6a3f56987d35e4f4f6ec377755c48e822e8ea053bf5 7785 agda_2.3.2.1-2build1.debian.tar.gz Files: 816cf231ce7d597ace74b81bc8dba864 3360 haskell extra agda_2.3.2.1-2build1.dsc 646267489024d89cacace0be1702fadb 7785 haskell extra agda_2.3.2.1-2build1.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.14 (GNU/Linux) Comment: Colin Watson <[email protected]> -- Debian developer iQIVAwUBUm4GdDk1h9l9hlALAQjTEQ/+OzSVbhQoeIAoGJNUq9kfDj/Z5TTq01rh jr/0vc2MpRe+TVWMf02D6T2cvbT44kcnH0vhYMr7XmDzY0Evi5EtlGkteCq85foo Raya8O/1UoWAvNA3cafnZtbhqKE9hMTHDIM7Gl6sLpsvK7UP7BCZB8YkGbhMC7x3 MxAExH/49t8Qb0waqoU3ah6ZfS3XmxyoaBEWqRTZA5t0eylwQmpiheyP2mq1ehY9 rz9aPG5JrnsgG+cIl9tHOvPFtHjLGiPbUOw60AHyDctw5Mn5P6cK2WvJJI9mno0B TuXI2QvteX8b7QBPKCG6HlpQQtnhmRno0SxKMZNe/9jC1tlntNUJacxSwGeJg+uE NfzGdeFmQwwTFLJJug4KuSai3ZmdPC590mfeG65h9TYquxL9jpZMLnTF2vvGpSJM bdMcteBMFpRhDI4dxS7Nny9GIuHZMTircK2yS/CvgUfRTSlz1lP+9PC2pZNN2jc5 U/EwLR+m+oK+epCOEysf9FSVo6jYWQoSJ4lro1U72SbRIAoIZS1aO2dMStAG01Ge f1kByuLn74AomtM8ewf6RB2IdfFo6zzqpNptd3giGGDh+9vcTmCBFjfem8D7Oma6 LGliGd4YMsuuXHPRVD3BedUQ99IYMFBRSOqhaxMq0yGZBEH8nzXA7xuFItt+9e3n DMi3HAon4a8= =m/yE -----END PGP SIGNATURE-----
-- Trusty-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/trusty-changes
