Index of /main/s/sat4j/

../
sat4j_2.2.0-3.debian.tar.gz                        17-Aug-2012 12:19               11189
sat4j_2.2.0-3.dsc                                  17-Aug-2012 12:19                1140
sat4j_2.2.0.orig.tar.gz                            17-Aug-2012 12:19            13815399
sat4j_2.3.1-1.debian.tar.gz                        19-Apr-2012 03:21               11606
sat4j_2.3.1-1.dsc                                  19-Apr-2012 03:21                1184
sat4j_2.3.1.orig.tar.gz                            19-Apr-2012 03:21            13920474
sat4j_2.3.2-1.debian.tar.gz                        02-Dec-2012 21:06               11753
sat4j_2.3.2-1.dsc                                  02-Dec-2012 21:06                1184
sat4j_2.3.2.orig.tar.gz                            02-Dec-2012 21:06            14408289
sat4j_2.3.3-1.debian.tar.xz                        28-Jun-2014 16:36               10800
sat4j_2.3.3-1.dsc                                  28-Jun-2014 16:36                1886
sat4j_2.3.3.orig.tar.gz                            28-Jun-2014 16:36            15885743
sat4j_2.3.5-0.1.debian.tar.xz                      03-Nov-2016 23:01               16688
sat4j_2.3.5-0.1.dsc                                03-Nov-2016 23:01                1987
sat4j_2.3.5-0.2.debian.tar.xz                      06-Nov-2016 03:44               16844
sat4j_2.3.5-0.2.dsc                                06-Nov-2016 03:44                1833
sat4j_2.3.5-0.3.debian.tar.xz                      13-Apr-2018 23:34               17140
sat4j_2.3.5-0.3.dsc                                13-Apr-2018 23:34                2016
sat4j_2.3.5.orig.tar.gz                            03-Nov-2016 23:01            13748980