Sophie

Sophie

distrib > Fedora > 18 > i386 > by-pkgid > 96d9bffbe40a2691fd1487f2bb20e112 > files

Agda-2.3.0.1-4.fc18.i686.rpm

Files

-rwxr-xr-x 9636 root root /usr/bin/agda
drwxr-xr-x 4096 root root /usr/share/doc/Agda-2.3.0.1
-rw-r--r-- 1165 root root /usr/share/doc/Agda-2.3.0.1/LICENSE

Perl :: Catalyst :: PostgreSQL :: RPM Valid HTML 4.01 Transitional