boolector (1.4.ffc2089.100608-1.4.201403150747) ucs4-0-0-0; urgency=low

  * UCS auto build. No patches were applied to the original source package

 -- Univention builddaemon <buildd@univention.de>  Sat, 15 Mar 2014 07:47:54 +0100

boolector (1.4.ffc2089.100608-1) unstable; urgency=low

  * Initial release (Closes: #584542)

 -- Michael Tautschnig <mt@debian.org>  Wed, 09 Jun 2010 00:16:01 +0200

