../ sat4j_2.3.5-0.3.debian.tar.xz 25-Dec-2025 13:11 17K sat4j_2.3.5-0.3.dsc 25-Dec-2025 13:11 2016 sat4j_2.3.5-0.3_all.deb 25-Dec-2025 13:11 549K sat4j_2.3.5.orig.tar.gz 25-Dec-2025 13:12 13M sat4j_2.3.6-1.debian.tar.xz 24-Dec-2025 20:16 17K sat4j_2.3.6-1.dsc 24-Dec-2025 20:16 2091 sat4j_2.3.6-1_all.deb 24-Dec-2025 20:16 832K sat4j_2.3.6.orig.tar.xz 24-Dec-2025 20:16 6M