Debian Project patch tracking system

Search Results - package name contains: agda-bin

package squeeze wheezy sid experimental
agda-bin 2.2.6-1 2.3.0.1-1 2.3.0.1-1 n/a