verilator (4.016-3) unstable; urgency=medium * Add system-flags.diff patch to honour system flags. (Closes: #931492) Thanks to Gianfranco Costamagna <email address hidden> -- أحمد المحمودي (Ahmed El-Mahmoudy) <email address hidden> Sun, 07 Jul 2019 02:53:30 +0200