Index of /debian/pool/main/b/byteman
Name Last modified Size
Parent Directory -
byteman_4.0.12-2.debian.tar.xz 2021-02-03 11:30 3.6K
byteman_4.0.12-2.dsc 2021-02-03 11:30 2.3K
byteman_4.0.12.orig.tar.gz 2020-07-23 12:22 524K
byteman_4.0.20-1.debian.tar.xz 2022-10-24 13:32 3.9K
byteman_4.0.20-1.dsc 2022-10-24 13:32 2.3K
byteman_4.0.20.orig.tar.gz 2022-10-24 13:32 522K
libbyteman-java_4.0.12-2_all.deb 2021-02-03 11:56 866K
libbyteman-java_4.0.20-1_all.deb 2022-10-24 13:57 869K
Apache/2.4.41 (Ubuntu) Server at dewy.fem.tu-ilmenau.de Port 80