../ jsxcompressor_1.5.0+dfsg1-3_all.deb 31-Jul-2024 12:26 32840 jsxgraph_1.5.0+dfsg1-3.debian.tar.xz 31-Jul-2024 11:54 17616 jsxgraph_1.5.0+dfsg1-3.dsc 31-Jul-2024 11:54 2132 jsxgraph_1.5.0+dfsg1-3_all.deb 31-Jul-2024 12:30 10998080 jsxgraph_1.5.0+dfsg1.orig.tar.gz 31-Jul-2024 11:54 4529529