../ jsxcompressor_1.5.0+dfsg1-3_all.deb 20-Apr-2023 15:09 32840 jsxgraph_1.5.0+dfsg1-3.debian.tar.xz 20-Apr-2023 15:09 17616 jsxgraph_1.5.0+dfsg1-3.dsc 20-Apr-2023 15:09 2132 jsxgraph_1.5.0+dfsg1-3_all.deb 20-Apr-2023 15:09 10998080 jsxgraph_1.5.0+dfsg1.orig.tar.gz 20-Apr-2023 15:09 4529529