flint (2.5.2-19) unstable; urgency=medium * Apply patch from H.Grohne to fix cross build (Closes: #912686) * Use my debian.org mail address. * Bump std-ver to 4.2.1. -- Julien Puydt <email address hidden> Sun, 04 Nov 2018 00:44:41 +0100