../ jsxcompressor_1.3.5+dfsg1-3_all.deb 02-Dec-2019 05:18 320692 jsxcompressor_1.4.2+dfsg1-1_all.deb 15-Feb-2022 06:10 5388 jsxgraph_1.3.5+dfsg1-3_all.deb 02-Dec-2019 05:18 5991288 jsxgraph_1.4.2+dfsg1-1_all.deb 15-Feb-2022 06:10 7082372