[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