Index of /ubuntu/pool/universe/m/minisat2/

NameLast ModifiedSizeType
../ -  Directory
minisat2_2.2.1-4.debian.tar.gz2013-Jul-15 04:13:249.1Kapplication/x-gtar-compressed
minisat2_2.2.1-4.dsc2013-Jul-15 04:13:241.8Ktext/prs.lines.tag
minisat2_2.2.1-4_amd64.deb2013-Jul-15 04:28:221.8Kapplication/vnd.debian.binary-package
minisat2_2.2.1-4_i386.deb2013-Jul-15 04:28:241.8Kapplication/vnd.debian.binary-package
minisat2_2.2.1-5.debian.tar.xz2014-Jul-30 23:14:519.1Kapplication/x-xz
minisat2_2.2.1-5.dsc2014-Jul-30 23:14:511.8Ktext/prs.lines.tag
minisat2_2.2.1-5_amd64.deb2014-Jul-31 00:08:101.9Kapplication/vnd.debian.binary-package
minisat2_2.2.1-5_i386.deb2014-Jul-31 00:10:071.9Kapplication/vnd.debian.binary-package
minisat2_2.2.1-5build1.debian.tar.xz2018-Apr-05 13:31:029.2Kapplication/x-xz
minisat2_2.2.1-5build1.dsc2018-Apr-05 13:31:021.9Ktext/prs.lines.tag
minisat2_2.2.1-5build1_amd64.deb2018-Apr-05 13:33:401.9Kapplication/vnd.debian.binary-package
minisat2_2.2.1-5build1_i386.deb2018-Apr-05 13:34:191.9Kapplication/vnd.debian.binary-package
minisat2_2.2.1-5build2.debian.tar.xz2020-Mar-22 22:40:059.3Kapplication/x-xz
minisat2_2.2.1-5build2.dsc2020-Mar-22 22:40:051.9Ktext/prs.lines.tag
minisat2_2.2.1-5build2_amd64.deb2020-Mar-22 23:30:181.9Kapplication/vnd.debian.binary-package
minisat2_2.2.1.orig.tar.gz2011-Apr-30 22:35:3643.1Kapplication/x-gtar-compressed
minisat_2.2.1-4_amd64.deb2013-Jul-15 04:28:23127.8Kapplication/vnd.debian.binary-package
minisat_2.2.1-4_i386.deb2013-Jul-15 04:28:25124.3Kapplication/vnd.debian.binary-package
minisat_2.2.1-5_amd64.deb2014-Jul-31 00:08:1081.0Kapplication/vnd.debian.binary-package
minisat_2.2.1-5_i386.deb2014-Jul-31 00:10:0794.7Kapplication/vnd.debian.binary-package
minisat_2.2.1-5build1_amd64.deb2018-Apr-05 13:33:4379.9Kapplication/vnd.debian.binary-package
minisat_2.2.1-5build1_i386.deb2018-Apr-05 13:34:1988.5Kapplication/vnd.debian.binary-package
minisat_2.2.1-5build2_amd64.deb2020-Mar-22 23:30:1880.0Kapplication/vnd.debian.binary-package
lighttpd/1.4.59