../ jsxcompressor_1.5.0+dfsg1-3_all.deb 23-Feb-2023 22:53 32K jsxgraph_1.5.0+dfsg1-3.debian.tar.xz 23-Feb-2023 21:53 17K jsxgraph_1.5.0+dfsg1-3.dsc 23-Feb-2023 21:53 2132 jsxgraph_1.5.0+dfsg1-3_all.deb 23-Feb-2023 22:53 10M jsxgraph_1.5.0+dfsg1.orig.tar.gz 22-Feb-2023 01:33 4M