../ sat4j_2.3.5-0.3.debian.tar.xz 31-Oct-2025 11:36 17140 sat4j_2.3.5-0.3.dsc 31-Oct-2025 11:36 2016 sat4j_2.3.5-0.3_all.deb 31-Oct-2025 11:36 562056 sat4j_2.3.5.orig.tar.gz 31-Oct-2025 11:36 13748980 sat4j_2.3.6-1.debian.tar.xz 31-Oct-2025 11:36 16916 sat4j_2.3.6-1.dsc 31-Oct-2025 11:36 2091 sat4j_2.3.6-1_all.deb 31-Oct-2025 11:36 852112 sat4j_2.3.6.orig.tar.xz 31-Oct-2025 11:36 6764268