ftp://ftp.uwa.edu.au/mirrors/linux/ubuntu/pool/universe/l/lbt/  direct

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/