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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-373

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94731

%ISIZE%
630288

%SHA256SUM%
1beac3c0ed41d46e9041f7aef2ad3d23898f7084bcdce4c9e5b3eec7f2968706

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq/DdsACgkQeGxj8zDXy5LCLQ//cQLAzIfZ7GbDYLd7H+bJ+xCM/s3OEl04OGSG1HV0tbfCgUg4JkAH8Gi1+ERAtVFzuzyyRKeuox0cHfshhEZSzwMeV4JAWA+CWye5c/9BzZG+rcvuWO+TNETKrUND0oZaH6Cu5aeLgasOn63AlYESW2fv/btx5IRdqDgN8jd60Q3gPdjWvAG/WfeSrYfDpdR727CJdBw3CxduduGq8r3P2s69UGR6ji1v1BAELKrmTTy3/RZQe3ymdD4PIvmdzXO2AUV7MnQ7axhGkV7mSZcy9BCVYacqqkT4tiJqEK2Wv815Dlvx6BkZC0IWK7N8kY9GfgIXZg/cRkr/Lp12ak8ANCaMJLIVCSvhh51NF3t5hn3yQnfUF9MGmQ5+eyJvQuSH24HlpplY1uBGVLnb4XkcSFZ5ybimfoyCgMQmo+nUeOnnF3tVHOshqk7k83E0blaNn387zFcaF3dlb1H2AFZIHrolHD6vQk1WhCXQgG4nIDY+SNoFsu6BOpUwzgaPf7GMhRWetf49mRNIt3W+6fO8L3AcXkm/gzVuMcpP1E6+GEW6loNSR1Whl7qqgJ7sa6ZWKJ1CEGR92xNjlYOKI/NTcMVLCpzyRNpWhikxuCBI8TNNN77hFupJRZK6KBGYp9+9naUkn/oYjiIxPlhwvKbzMHgBy0cgB3kX7X25HqmKmDA=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1790905801

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

