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