%FILENAME%
haskell-refinery-0.4.0.0-191-x86_64.pkg.tar.zst

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-191

%DESC%
Toolkit for building proof automation systems

%CSIZE%
93754

%ISIZE%
632018

%SHA256SUM%
cb069c3b89cac8ff0fbe2b26472d69e305b8abdaf7f352078328bf58f48b33e8

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmd4OWcACgkQeGxj8zDXy5L7fw/+KykP0YodsntJRGADnTbqzM8k+aoWNmRAvqBFDQ/uq5/iIUcvZwjrXMSCpDEKeJBKY7mZY7zs+GxGHhAHFt6F5NPtfh0lzX/EmkosjOzqYd10BkAmnN+r+CXDZCZy8jhSk7tHiY8zx+dqaP3Yhhw8hlvQaOcnkYAPDZxAABu3tgg5FYYDwItMqz/3Ncd+A6YhJOSII0mhViO5xIJTJr7PjJsMPBuPLERq02sbCT33a3kJURkjBUnrYBT+M+yAdZ0kQcR8bmZ+6fzOB8AC+Fh71ynqujvHZYvZyw6lIIxEChOhX5pi4ygVU1f5Qi5rAZ2AIDywfBghArtYD3wJB94LVjG/x9gG0xLwWonHR9dLqODYun0xe5j334yEn493RyAu4ZW87JdjoxNFTnBnK5+LOpI1sXh9x3f+f561KzMkPMb8QuF2mRWTNVB22PeS0gcUWqqtDojVD2jh7eTOErTtdcM93vZqFyw/vFzNIvi1IjqEKi5EtpEmyvW4QyRP6BDDZ+BaUvMd6L5dRmSRc6MjojGViv7BtgeINtlm9wCBmVfZXVNRKmbS7BsjViaqG86XbG051kZ7CUPVumteNiwD5eW+CS3Tg1GKiaW4WuwbeZ5nReKRotDObjMrtrUJcZ4PSAVhJ38iZlLS20U3LvUX+2OaX/SwURaEy4meCkqmVHg=

%URL%
https://github.com/totbwf/refinery#readme

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1735932240

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-mmorph

%MAKEDEPENDS%
ghc
haskell-quickcheck
haskell-checkers
haskell-hspec

