Files
| -rw-rw-r-- | 1765 | mockbuild | mockbuild | Agda-executable-2.3.0.1.tar.gz |
| -rw-r--r-- | 1476 | mockbuild | mockbuild | Agda.spec |
distrib
>
Fedora
>
16
>
x86_64
>
media
>
updates-src
>
by-pkgid
>
c6982716446a6c420c6dc206aac97124
>
files
