ftp://64.50.238.52/.1/debian/debian/pool/main/l/lbt/  direct

20.10 KB  2004-01-08lbt_1.2.2.orig.tar.gz  info  browse  346+ mirrors
 lbt_1.2.2.orig.tar.gz
 /Main/Debian/Other/

31.28 KB  2004-08-03lbt_1.2.2-3_sparc.deb  info  browse  133 mirrors
 lbt - converts from LTL formulas to Büchi automata
 /Main/Debian/sparc/math/

34.50 KB  2004-08-04lbt_1.2.2-3_s390.deb  info  browse  111 mirrors
 lbt - converts from LTL formulas to Büchi automata
 /Main/Debian/s390/math/

32.99 KB  2004-08-03lbt_1.2.2-3_powerpc.deb  info  browse  137 mirrors
 lbt - converts from LTL formulas to Büchi automata
 /Main/Debian/powerpc/math/

35.97 KB  2004-08-03lbt_1.2.2-3_mipsel.deb  info  browse  112 mirrors
 lbt - converts from LTL formulas to Büchi automata
 /Main/Debian/mipsel/math/

35.82 KB  2004-08-03lbt_1.2.2-3_mips.deb  info  browse  113 mirrors
 lbt - converts from LTL formulas to Büchi automata
 /Main/Debian/mips/math/

29.54 KB  2004-08-09lbt_1.2.2-3_m68k.deb  info  browse  114 mirrors
 lbt - converts from LTL formulas to Büchi automata
 /Main/Debian/m68k/math/

47.82 KB  2004-08-03lbt_1.2.2-3_ia64.deb  info  browse  132 mirrors
 lbt - converts from LTL formulas to Büchi automata
 /Main/Debian/ia64/math/

32.37 KB  2004-08-03lbt_1.2.2-3_i386.deb  info  browse  221+ mirrors
 lbt - converts from LTL formulas to Büchi automata
 /Main/Debian/i386/math/

30.20 KB  2005-01-01lbt_1.2.2-3_hurd-i386.deb  info  browse  134 mirrors
 lbt - converts from LTL formulas to Büchi automata
 /Main/Debian/hurd-i386/math/

29.31 KB  2007-02-07lbt_1.2.2-3_armel.deb  info  browse  170 mirrors
 lbt - converts from LTL formulas to Büchi automata
 /Main/Debian/armel/math/

31.84 KB  2004-08-03lbt_1.2.2-3_arm.deb  info  browse  119 mirrors
 lbt - converts from LTL formulas to Büchi automata
 /Main/Debian/arm/math/

31.65 KB  2005-03-19lbt_1.2.2-3_amd64.deb  info  browse  206+ mirrors
 lbt - converts from LTL formulas to Büchi automata
 /Main/Debian/amd64/math/

38.77 KB  2004-08-03lbt_1.2.2-3_alpha.deb  info  browse  120 mirrors
 lbt - converts from LTL formulas to Büchi automata
 /Main/Debian/alpha/math/

542 B  2004-08-03lbt_1.2.2-3.dsc  315+ mirrors
2.01 KB  2004-08-03lbt_1.2.2-3.diff.gz  316+ mirrors
34.53 KB  2005-09-11lbt_1.2.2-3+b1_hppa.deb  info  browse  107 mirrors
 lbt - converts from LTL formulas to Büchi automata
 /Main/Debian/hppa/math/