../ sat4j_2.3.2-1_all.deb 19-Dec-2012 12:38 1014K sat4j_2.3.3-1_all.deb 28-Jun-2014 19:28 384K sat4j_2.3.5-0.2_all.deb 05-Nov-2016 01:39 530K sat4j_2.3.5-0.3_all.deb 05-May-2018 01:39 548K sat4j_2.3.6-1_all.deb 13-Feb-2025 20:54 827K sat4j_2.3.6-1build1_all.deb 29-Jan-2026 20:02 827K