ftp://64.50.236.52/.1/ubuntu/pool/universe/l/lbt/  direct

2.01 KB  2005-10-24lbt_1.2.2-3.diff.gz  250+ mirrors
542 B  2005-10-24lbt_1.2.2-3.dsc  250+ mirrors
38.07 KB  2005-10-24lbt_1.2.2-3_amd64.deb  info  browse  87 mirrors
 lbt - converts from LTL formulas to Büchi automata
 /Main/Ubuntu/amd64/math/

31.28 KB  2005-10-24lbt_1.2.2-3_i386.deb  info  browse  92 mirrors
 lbt - converts from LTL formulas to Büchi automata
 /Main/Ubuntu/i386/math/

33.29 KB  2005-10-24lbt_1.2.2-3_powerpc.deb  info  browse  74 mirrors
 lbt - converts from LTL formulas to Büchi automata
 /Main/Ubuntu/powerpc/math/

20.10 KB  2005-04-12lbt_1.2.2.orig.tar.gz  info  browse  270+ mirrors
 lbt_1.2.2.orig.tar.gz
 /Main/Debian/Other/

30.39 KB  2005-11-01lbt_1.2.2-3_sparc.deb  info  browse  72 mirrors
 lbt - converts from LTL formulas to Büchi automata
 /Main/Ubuntu/sparc/math/