../ jsxgraph_0.83+svn1872~dfsg1-1.debian.tar.gz 26-Dec-2014 21:58 9966 jsxgraph_0.83+svn1872~dfsg1-1.dsc 26-Dec-2014 21:58 1250 jsxgraph_0.83+svn1872~dfsg1-1_all.deb 26-Dec-2014 21:58 2960692 jsxgraph_0.83+svn1872~dfsg1.orig.tar.gz 26-Dec-2014 21:58 12601985