File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
all/ | - | 2019-Nov-18 23:43 |
Release | 988 | 2019-Nov-18 23:43 |
Packages | 3144 | 2019-Nov-18 23:43 |
InRelease | 1518 | 2019-Nov-18 23:43 |
Sources.gz | 759 | 2019-Nov-18 23:43 |
Sources | 1474 | 2019-Nov-18 23:43 |
Release.key | 1098 | 2019-Nov-18 23:43 |
Release.gpg | 481 | 2019-Nov-18 23:43 |
Packages.gz | 1231 | 2019-Nov-18 23:43 |
mediawiki_1.31.1.orig.tar.gz.asc | 95 | 2019-Nov-18 23:38 |
mediawiki_1.31.1-4obs1.dsc | 1221 | 2019-Nov-18 23:38 |
mediawiki_1.31.1-4obs1.debian.tar.xz | 84868 | 2019-Nov-18 23:38 |
mediawiki_1.31.1.orig.tar.gz | 35260876 | 2019-Nov-18 23:38 |