File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
all/ | - | 2020-Jul-18 16:51 |
Release | 981 | 2020-Jul-18 16:53 |
Packages | 3176 | 2020-Jul-18 16:53 |
InRelease | 1511 | 2020-Jul-18 16:53 |
Sources.gz | 759 | 2020-Jul-18 16:53 |
Sources | 1474 | 2020-Jul-18 16:53 |
Release.key | 1098 | 2020-Jul-18 16:53 |
Release.gpg | 481 | 2020-Jul-18 16:53 |
Packages.gz | 1255 | 2020-Jul-18 16:53 |
mediawiki_1.31.1.orig.tar.gz.asc | 95 | 2020-Jul-18 16:50 |
mediawiki_1.31.1-4obs1.dsc | 1221 | 2020-Jul-18 16:50 |
mediawiki_1.31.1-4obs1.debian.tar.xz | 84856 | 2020-Jul-18 16:50 |
mediawiki_1.31.1.orig.tar.gz | 35260876 | 2020-Jul-18 16:50 |