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