Index of /ubuntu/pool/universe/b/boolector/

Males Download atau Bandwidth lemot ?
Beli CD/DVD nya aja di http://juragan.kambing.ui.ac.id/
Ataw hubungi Juragan Kambing via e-mail: juragan [at] kambing.ui.ac.id

File NameFile SizeDate
Parent directory/--
boolector_1.4.ffc2089.100608-1.debian.tar.gz 409715-Jun-2010 15:05
boolector_1.4.ffc2089.100608-1.dsc 112415-Jun-2010 15:05
boolector_1.4.ffc2089.100608-1_amd64.deb 137K17-Jun-2010 08:05
boolector_1.4.ffc2089.100608-1_i386.deb 124K17-Jun-2010 08:07
boolector_1.4.ffc2089.100608.orig.tar.gz 222K15-Jun-2010 15:05
boolector_1.5.118.6b56be4.121013-1.debian.tar.gz 482728-Oct-2012 23:08
boolector_1.5.118.6b56be4.121013-1.dsc 151528-Oct-2012 23:08
boolector_1.5.118.6b56be4.121013-1_amd64.deb 345K29-Oct-2012 02:04
boolector_1.5.118.6b56be4.121013-1_i386.deb 337K29-Oct-2012 01:35
boolector_1.5.118.6b56be4.121013.orig-lingeling..> 162K28-Oct-2012 23:08
boolector_1.5.118.6b56be4.121013.orig.tar.gz 184K28-Oct-2012 23:08