General information
About + News
Overview
FAQ
Source
piuparts.d.o bugs
piuparts bugs / ToDo
Contact us
Documentation
piuparts manpage
README
README_server
piuparts.d.o configuration:
piuparts.conf,
distros.conf
and scripts
How to file bugs
Debian policy
Available reports
Bugs filed
experimental
sid2experimental
sid
sid-strict
sid-nodoc
testing2sid
stable2sid
stretch
stretch-rcmd
stretch-security
stretch-pu
stable22sid
jessie2stretch
jessie2stretch-rcmd
jessie2Xstretch-rcmd
jessie2bpo2stretch
jessie2bpo
jessie
jessie-rcmd
jessie-security
jessie-pu
jessie2proposed
oldstable222sid
oldstable22testing
wheezy2jessie
wheezy2jessie-rcmd
wheezy2bpo2jessie
wheezy2proposed
wheezy
wheezy-security
wheezy-pu
squeeze2wheezy-proposed
squeeze2wheezy
squeeze2bpo-sloppy
squeeze2bpo2wheezy
squeeze2squeeze-lts
squeeze
lenny2squeeze
by maintainer / uploader
by source package
Other Debian QA efforts
Debian QA Group
Dose tools (former: EDOS)
Lintian
Debian Package Tracker (former: PTS)
Ultimate Debian Database
jenkins.debian.net
ci.debian.net
Last update
2017-06-23 07:57 UTC
agda in sid-nodoc
Source:agdapiuparts summary:unknownVersion:2.5.1.1-4
Maintainer:Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders:Iain Lane <laney@debian.org>, Kiwamu Okabe <kiwamu@debian.or.jp>
Binary:agda:allpiuparts-result:waiting-for-dependency-to-be-tested N/AVersion:2.5.1.1-4
Binary:agda-binpiuparts-result:successfully-tested 2.5.1.1-4Version:2.5.1.1-4
Binary:agda-mode:allpiuparts-result:waiting-to-be-tested N/AVersion:2.5.1.1-4
Binary:elpa-agda2-mode:allpiuparts-result:waiting-for-dependency-to-be-tested N/AVersion:2.5.1.1-4
Binary:libghc-agda-devpiuparts-result:waiting-for-dependency-to-be-tested N/AVersion:2.5.1.1-4
Binary:libghc-agda-doc:allpiuparts-result:waiting-for-dependency-to-be-tested N/AVersion:2.5.1.1-4