[ubuntu/precise] agda 2.3.0.1-1build1 (Accepted)
Colin Watson
cjwatson at ubuntu.com
Tue Apr 10 23:56:53 UTC 2012
agda (2.3.0.1-1build1) precise; urgency=low
* No-change rebuild to restore Architecture: all packages on powerpc, lost
due to an archive administration accident.
Date: Wed, 11 Apr 2012 00:40:57 +0100
Changed-By: Colin Watson <cjwatson at ubuntu.com>
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
https://launchpad.net/ubuntu/precise/+source/agda/2.3.0.1-1build1
-------------- next part --------------
Format: 1.8
Date: Wed, 11 Apr 2012 00:40:57 +0100
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda
Architecture: source
Version: 2.3.0.1-1build1
Distribution: precise
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-mode - dependently typed functional programming language — emacs mode
libghc-agda-dev - dependently typed functional programming language - development l
libghc-agda-doc - dependently typed functional programming language - documentation
Changes:
agda (2.3.0.1-1build1) precise; urgency=low
.
* No-change rebuild to restore Architecture: all packages on powerpc, lost
due to an archive administration accident.
Checksums-Sha1:
159e72f583db5d49270967a9231ac68cbbaf97eb 3109 agda_2.3.0.1-1build1.dsc
ae7515ea34388bc6289e9b034b90e379ba7e9d19 6566 agda_2.3.0.1-1build1.debian.tar.gz
Checksums-Sha256:
159aa3be83b2fa260b6e165544cc76dfe0fc8e35f2dcd96ad7f1c893611ebeda 3109 agda_2.3.0.1-1build1.dsc
9e61a001cb0e7e874f94ea9d8e365fa520671f0e14ec70975c8587025e2ea48c 6566 agda_2.3.0.1-1build1.debian.tar.gz
Files:
b5f94e9b24af02b2adcb25615fa2df11 3109 haskell extra agda_2.3.0.1-1build1.dsc
004b75d71237a2b3c13d7569addc9160 6566 haskell extra agda_2.3.0.1-1build1.debian.tar.gz
More information about the Precise-changes
mailing list