../ monodevelop_5.10.0.871-2.debian.tar.xz 03-Jan-2016 13:24 42612 monodevelop_5.10.0.871-2.dsc 03-Jan-2016 13:24 2456 monodevelop_5.10.0.871.orig.tar.bz2 16-Dec-2015 10:13 32456484