Willkommen in der MXP Repository
Index of
![[ICO]](/directory-listing/icons/blank.svg){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/directory-listing/icons/folder-home.svg){kind=icon} | Parent Directory | - | |
![[ ]](/directory-listing/icons/package.svg){kind=icon} | agda-mode_2.2.6-7_all.deb | 2010-05-06 13:57 | 39K |
![[ ]](/directory-listing/icons/archive.svg){kind=icon} | agda_2.2.6-7.debian.tar.gz | 2010-05-06 13:57 | 5.2K |
![[TXT]](/directory-listing/icons/text.svg){kind=icon} | agda_2.2.6-7.dsc | 2010-05-06 13:57 | 2.2K |
| agda_2.2.6.orig.tar.gz | 2010-01-07 23:11 | 414K |
| libghc6-agda-dev_2.2.6-7_amd64.deb | 2010-05-06 13:57 | 9.6M |
| libghc6-agda-dev_2.2.6-7_i386.deb | 2010-05-06 13:57 | 9.1M |
| libghc6-agda-doc_2.2.6-7_all.deb | 2010-05-06 13:57 | 1.0M |