Debian patch tracking system
Debian Project patch tracking system
Search Results - package name contains: agda-bin
package
lenny
squeeze
wheezy
sid
experimental
agda-bin
n/a
2.2.6-1
2.3.0-1
2.3.0.1-1
n/a