../ jsxcompressor_1.3.5+dfsg1-2_all.deb 11-Apr-2020 06:02 342572 jsxgraph_1.3.5+dfsg1-2.debian.tar.xz 11-Apr-2020 06:02 204904 jsxgraph_1.3.5+dfsg1-2.dsc 11-Apr-2020 06:02 2102 jsxgraph_1.3.5+dfsg1-2_all.deb 11-Apr-2020 06:02 6218184 jsxgraph_1.3.5+dfsg1.orig.tar.xz 11-Apr-2020 06:02 3603332