verilator (3.847-1~ubuntu13.04.1~ppa1) raring; urgency=low * No-change backport to raring verilator (3.847-1) unstable; urgency=low * New upstream release. verilator (3.846-1) unstable; urgency=low * New upstream release. -- Iztok Jeras <izi@agrajag> Sat, 25 May 2013 17:04:23 +0200