| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| all/ | - | 2019-Jan-09 21:19 |
| mediawiki_1.31.1.orig.tar.gz | 35260876 | 2019-Jan-09 20:00 |
| mediawiki_1.31.1-4obs1.debian.tar.xz | 84856 | 2019-Jan-09 20:00 |
| mediawiki_1.31.1-4obs1.dsc | 1471 | 2019-Jan-09 20:00 |
| Release | 988 | 2019-Jan-09 21:19 |
| Release.key | 1098 | 2019-Jan-09 21:19 |
| Release.gpg | 481 | 2019-Jan-09 21:19 |
| Sources | 1724 | 2019-Jan-09 21:19 |
| Packages.gz | 1251 | 2019-Jan-09 21:19 |
| Packages | 3176 | 2019-Jan-09 21:19 |
| Sources.gz | 857 | 2019-Jan-09 21:19 |