../ liblinbox-dev_1.1.6~rc0-4.2_armhf.deb 11-Jun-2012 18:11 1890378 liblinbox0_1.1.6~rc0-4.2_armhf.deb 11-Jun-2012 18:11 504064 linbox_1.1.6~rc0-4.2.diff.gz 29-May-2012 09:13 530689 linbox_1.1.6~rc0-4.2.dsc 29-May-2012 09:13 1394 linbox_1.1.6~rc0.orig.tar.gz 19-Apr-2012 01:58 1288882