../ jsxgraph_0.83+svn1872~dfsg1-0.1.debian.tar.gz 09-Nov-2012 22:25 9880 jsxgraph_0.83+svn1872~dfsg1-0.1.dsc 09-Nov-2012 22:25 1905 jsxgraph_0.83+svn1872~dfsg1-0.1_all.deb 09-Nov-2012 22:25 2958752 jsxgraph_0.83+svn1872~dfsg1.orig.tar.gz 09-Nov-2012 22:25 12601985