../ jsxcompressor_1.3.5+dfsg1-8_all.deb 01-Oct-2023 20:07 342920 jsxcompressor_1.5.0+dfsg1-3_all.deb 23-Feb-2023 16:53 32840 jsxgraph_1.3.5+dfsg1-8_all.deb 01-Oct-2023 20:07 6218548 jsxgraph_1.5.0+dfsg1-3_all.deb 23-Feb-2023 16:53 10998080