../ sat4j_2.3.2-1.debian.tar.gz 19-Dec-2012 16:05 11753 sat4j_2.3.2-1.dsc 19-Dec-2012 16:05 1184 sat4j_2.3.2-1_all.deb 19-Dec-2012 16:38 1038404 sat4j_2.3.2.orig.tar.gz 19-Dec-2012 16:05 14408289 sat4j_2.3.3-1.debian.tar.xz 28-Jun-2014 23:18 10800 sat4j_2.3.3-1.dsc 28-Jun-2014 23:18 1886 sat4j_2.3.3-1_all.deb 28-Jun-2014 23:28 393016 sat4j_2.3.3.orig.tar.gz 28-Jun-2014 23:18 15885743 sat4j_2.3.5-0.2.debian.tar.xz 05-Nov-2016 05:39 16844 sat4j_2.3.5-0.2.dsc 05-Nov-2016 05:39 1833 sat4j_2.3.5-0.2_all.deb 05-Nov-2016 05:39 542652 sat4j_2.3.5-0.3.debian.tar.xz 05-May-2018 01:28 17140 sat4j_2.3.5-0.3.dsc 05-May-2018 01:28 2016 sat4j_2.3.5-0.3_all.deb 05-May-2018 05:39 561236 sat4j_2.3.5.orig.tar.gz 03-Nov-2016 23:29 13748980