../ jsxgraph_0.99.3~dfsg1-1.debian.tar.xz 18-Dec-2015 05:09 202812 jsxgraph_0.99.3~dfsg1-1.dsc 18-Dec-2015 05:09 1916 jsxgraph_0.99.3~dfsg1-1_all.deb 18-Dec-2015 05:40 6296432 jsxgraph_0.99.3~dfsg1.orig.tar.xz 18-Dec-2015 05:09 4811500