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

NameLast ModifiedSizeType
../ -  Directory
minisat2_2.2.1-4.debian.tar.gz2013-Jul-14 18:43:249.1Kapplication/x-gtar-compressed
minisat2_2.2.1-4.dsc2013-Jul-14 18:43:241.8Ktext/prs.lines.tag
minisat2_2.2.1-4_amd64.deb2013-Jul-14 18:58:221.8Kapplication/vnd.debian.binary-package
minisat2_2.2.1-4_i386.deb2013-Jul-14 18:58:241.8Kapplication/vnd.debian.binary-package
minisat2_2.2.1-5.debian.tar.xz2014-Jul-30 13:44:519.1Kapplication/x-xz
minisat2_2.2.1-5.dsc2014-Jul-30 13:44:511.8Ktext/prs.lines.tag
minisat2_2.2.1-5_amd64.deb2014-Jul-30 14:38:101.9Kapplication/vnd.debian.binary-package
minisat2_2.2.1-5_i386.deb2014-Jul-30 14:40:071.9Kapplication/vnd.debian.binary-package
minisat2_2.2.1-5build1.debian.tar.xz2018-Apr-05 04:01:029.2Kapplication/x-xz
minisat2_2.2.1-5build1.dsc2018-Apr-05 04:01:021.9Ktext/prs.lines.tag
minisat2_2.2.1-5build1_amd64.deb2018-Apr-05 04:03:401.9Kapplication/vnd.debian.binary-package
minisat2_2.2.1-5build1_i386.deb2018-Apr-05 04:04:191.9Kapplication/vnd.debian.binary-package
minisat2_2.2.1-5build2.debian.tar.xz2020-Mar-22 13:10:059.3Kapplication/x-xz
minisat2_2.2.1-5build2.dsc2020-Mar-22 13:10:051.9Ktext/prs.lines.tag
minisat2_2.2.1-5build2_amd64.deb2020-Mar-22 14:00:181.9Kapplication/vnd.debian.binary-package
minisat2_2.2.1-8build1.debian.tar.xz2024-Apr-01 04:00:529.7Kapplication/x-xz
minisat2_2.2.1-8build1.dsc2024-Apr-01 04:00:521.7Ktext/prs.lines.tag
minisat2_2.2.1.orig.tar.gz2011-Apr-30 13:05:3643.1Kapplication/x-gtar-compressed
minisat_2.2.1-4_amd64.deb2013-Jul-14 18:58:23127.8Kapplication/vnd.debian.binary-package
minisat_2.2.1-4_i386.deb2013-Jul-14 18:58:25124.3Kapplication/vnd.debian.binary-package
minisat_2.2.1-5_amd64.deb2014-Jul-30 14:38:1081.0Kapplication/vnd.debian.binary-package
minisat_2.2.1-5_i386.deb2014-Jul-30 14:40:0794.7Kapplication/vnd.debian.binary-package
minisat_2.2.1-5build1_amd64.deb2018-Apr-05 04:03:4379.9Kapplication/vnd.debian.binary-package
minisat_2.2.1-5build1_i386.deb2018-Apr-05 04:04:1988.5Kapplication/vnd.debian.binary-package
minisat_2.2.1-5build2_amd64.deb2020-Mar-22 14:00:1880.0Kapplication/vnd.debian.binary-package
minisat_2.2.1-8build1_amd64.deb2024-Apr-01 06:33:4385.9Kapplication/vnd.debian.binary-package
lighttpd