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 <[email protected]>
Maintainer: Debian Haskell Group
<[email protected]>
https://launchpad.net/ubuntu/precise/+source/agda/2.3.0.1-1build1
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
<[email protected]>
Changed-By: Colin Watson <[email protected]>
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
--
Precise-changes mailing list
[email protected]
Modify settings or unsubscribe at:
https://lists.ubuntu.com/mailman/listinfo/precise-changes
