../ jsxcompressor_1.5.0+dfsg1-3_all.deb 23-Feb-2023 14:53 32840 jsxgraph_1.5.0+dfsg1-3.debian.tar.xz 23-Feb-2023 13:53 17616 jsxgraph_1.5.0+dfsg1-3.dsc 23-Feb-2023 13:53 2132 jsxgraph_1.5.0+dfsg1-3_all.deb 23-Feb-2023 14:53 10998080 jsxgraph_1.5.0+dfsg1.orig.tar.gz 21-Feb-2023 17:33 4529529