1. sat4j_2.3.5-0.3.debian.tar.xz
2. sat4j_2.3.5-0.3.dsc
3. sat4j_2.3.5-0.3_all.deb
4. sat4j_2.3.5.orig.tar.gz
5. sat4j_2.3.6-1.debian.tar.xz
6. sat4j_2.3.6-1.dsc
7. sat4j_2.3.6-1_all.deb
8. sat4j_2.3.6.orig.tar.xz