[ubuntu/trusty-proposed] agda 2.3.2.1-2build1 (Accepted)

Colin Watson cjwatson at ubuntu.com
Mon Oct 28 06:40:16 UTC 2013


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 <cjwatson at ubuntu.com>
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
https://launchpad.net/ubuntu/trusty/+source/agda/2.3.2.1-2build1
-------------- next part --------------
-----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 <pkg-haskell-maintainers at lists.alioth.debian.org>
Changed-By: Colin Watson <cjwatson at ubuntu.com>
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 <cjwatson at debian.org> -- 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-----


More information about the Trusty-changes mailing list