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