General information
About + News
Overview
FAQ
Bugs / ToDo
Documentation
piuparts README
piuparts manpage
piuparts.d.o configuration:
piuparts.conf.piatti
scripts
How to file bugs
Debian policy
Available reports
Bugs filed
sid
testing2sid
wheezy
squeeze2wheezy
squeeze
lenny2squeeze
by maintainer / uploader
by source package
Other Debian QA efforts
EDOS tools
Lintian
Package Tracking System
Ultimate Debian Database
Last update
2012-05-16 00:39 UTC
agda in sid
Source:agdapiuparts summary:Version:2.3.0.1-1
Maintainer:Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders:Iain Lane <laney@debian.org>
Binary:agdapiuparts-result:successfully-tested 2.3.0.1-1Version:2.3.0.1-1
Binary:agda-modepiuparts-result:successfully-tested 2.3.0.1-1Version:2.3.0.1-1
Binary:libghc-agda-devpiuparts-result:successfully-tested 2.3.0.1-1+b2Version:2.3.0.1-1
Binary:libghc-agda-docpiuparts-result:successfully-tested 2.3.0.1-1Version:2.3.0.1-1