ftp://sapi.vlsm.org/.3/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
31.28 KB  2005-10-24lbt_1.2.2-3_i386.deb  info  browse  96 mirrors
 lbt - converts from LTL formulas to Büchi automata
 /Main/Ubuntu/i386/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/