../ sat4j_2.3.5-0.3.debian.tar.xz 13-Apr-2018 22:51 17K sat4j_2.3.5-0.3.dsc 13-Apr-2018 22:51 2016 sat4j_2.3.5-0.3_all.deb 13-Apr-2018 23:38 549K sat4j_2.3.5.orig.tar.gz 29-Oct-2016 19:40 13M sat4j_2.3.6-1.debian.tar.xz 03-Feb-2025 21:08 17K sat4j_2.3.6-1.dsc 03-Feb-2025 21:08 2091 sat4j_2.3.6-1_all.deb 13-Feb-2025 22:59 832K sat4j_2.3.6.orig.tar.xz 03-Feb-2025 21:08 6M