.
maintainer timeout +*flint-2.4.3 (18 May 2014) + + 18 May 2014; Julian Ospald <hasufell@gentoo.org> +flint-2.4.3.ebuild, + +files/flint-2.4.3-cflags-ldflags.patch, +files/flint-2.4.3-libdir.patch, + +files/flint-2.4.3-whitespaces.patch, metadata.xml: + version bump wrt #507572