Name Last modified Size
Parent Directory - jabref_3.8.2+ds-12.debian.tar.xz 2019-02-10 06:13 49K jabref_3.8.2+ds-12.dsc 2019-02-10 06:13 2.7K jabref_3.8.2+ds-12_all.deb 2019-02-10 06:18 3.6M jabref_3.8.2+ds-12~18.04.debian.tar.xz 2019-03-06 18:38 49K jabref_3.8.2+ds-12~18.04_all.deb 2019-03-06 18:38 3.6M jabref_3.8.2+ds-16.debian.tar.xz 2021-10-18 22:55 51K jabref_3.8.2+ds-16.dsc 2021-10-18 22:55 2.8K jabref_3.8.2+ds-16_all.deb 2021-10-19 19:04 3.6M jabref_3.8.2+ds-17.debian.tar.xz 2022-12-29 06:29 51K jabref_3.8.2+ds-17.dsc 2022-12-29 06:29 2.8K jabref_3.8.2+ds-17_all.deb 2022-12-29 06:29 3.6M jabref_3.8.2+ds-3.debian.tar.xz 2018-04-07 01:18 45K jabref_3.8.2+ds-3_all.deb 2018-04-07 02:09 3.6M jabref_3.8.2+ds.orig.tar.xz 2017-06-23 07:19 2.1M
This mirror is brought to you by HR-Tech and Heiko Richter.