ftp://ftp.udc.es/mirror/ubuntu/pool/universe/l/lbt/  direct

2.01 KB  2005-10-24lbt_1.2.2-3.diff.gz  260+ mirrors
542 B  2005-10-24lbt_1.2.2-3.dsc  260+ mirrors
38.07 KB  2005-10-24lbt_1.2.2-3_amd64.deb  info  browse  92 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  97 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  79 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  280+ 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  77 mirrors
 lbt - converts from LTL formulas to Büchi automata
 /Main/Ubuntu/sparc/math/