Quality Assurance
Policy is your friend. Trust the Policy. Love the Policy. Obey the Policy.
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:
agda
piuparts 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:
agda
piuparts-result:
successfully-tested
2.3.0.1-1
Version:
2.3.0.1-1
Binary:
agda-mode
piuparts-result:
successfully-tested
2.3.0.1-1
Version:
2.3.0.1-1
Binary:
libghc-agda-dev
piuparts-result:
successfully-tested
2.3.0.1-1+b2
Version:
2.3.0.1-1
Binary:
libghc-agda-doc
piuparts-result:
successfully-tested
2.3.0.1-1
Version:
2.3.0.1-1