Index of /debian/pool/main/w/wml
Name Last modified Size Description
Parent Directory -
wml_2.12.2~ds1.orig.tar.xz 2019-01-29 03:36 297K
wml_2.32.0~ds1-1.debian.tar.xz 2020-11-29 13:02 25K
wml_2.32.0~ds1-1.dsc 2020-11-29 13:02 2.3K
wml_2.32.0~ds1.orig.tar.xz 2020-11-29 13:02 223K
slice_2.32.0~ds1-1_all.deb 2020-11-29 13:17 39K
wml_2.32.0~ds1-1_all.deb 2020-11-29 13:17 352K
wml_2.12.2~ds1-3~deb10u1.debian.tar.xz 2021-05-29 19:11 27K
wml_2.12.2~ds1-3~deb10u1.dsc 2021-05-29 19:11 2.4K
wml_2.12.2~ds1-3~deb10u1_all.deb 2021-05-30 23:44 460K