pkgbase = mingw-w64-mpfi
	pkgdesc = C library for interval arithmetic (mingw-w64)
	pkgver = 1.5.4
	pkgrel = 1
	url = http://perso.ens-lyon.fr/nathalie.revol/software.html
	arch = any
	license = GPL
	makedepends = mingw-w64-configure
	depends = mingw-w64-mpfr
	options = !strip
	options = !buildflags
	options = staticlibs
	source = https://gforge.inria.fr/frs/download.php/latestfile/181/mpfi-1.5.4.tar.gz
	source = div_ext.c
	sha256sums = 76b01b9eed7150a44b3f6aea24ad4ac78b0f2078253be87ff6d1903d02dfa434
	sha256sums = aa280208c1168fbdfdac5cbb3fd8421904bc80d6a323de89a4b6b48a66446b01

pkgname = mingw-w64-mpfi