# Generated by makepkg 5.1.2
# Tue Mar 12 02:22:11 UTC 2019
pkgbase = polyml
	pkgdesc = Standard ML compiler originally written in the experimental language Poly
	pkgver = 5.8
	pkgrel = 1
	url = https://polyml.org/
	install = polyml.install
	arch = x86_64
	license = LGPL
	depends = gmp
	depends = libffi
	conflicts = mesa-demos
	options = !libtool
	source = polyml-5.8.tar.gz::https://github.com/polyml/polyml/archive/v5.8.tar.gz
	sha256sums = 6bcc2c5af91f361ef9e0bb28f39ce20171b0beae73b4db3674df6fc793cec8bf

pkgname = polyml

