../ jsxcompressor_1.10.1+dfsg1-1_all.deb 10-Aug-2025 12:48 37772 jsxcompressor_1.5.0+dfsg1-3_all.deb 28-Jul-2023 06:32 32840 jsxgraph_1.10.1+dfsg1-1_all.deb 10-Aug-2025 12:48 8080400 jsxgraph_1.5.0+dfsg1-3_all.deb 28-Jul-2023 06:32 10998080