../ jsxcompressor_1.8.0+dfsg1-1_all.deb 12-Mar-2024 07:56 35K jsxgraph_1.8.0+dfsg1-1.debian.tar.xz 12-Mar-2024 07:25 42K jsxgraph_1.8.0+dfsg1-1.dsc 12-Mar-2024 07:25 2141 jsxgraph_1.8.0+dfsg1-1_all.deb 12-Mar-2024 07:56 7M jsxgraph_1.8.0+dfsg1.orig.tar.gz 12-Mar-2024 07:25 4M