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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-362

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94629

%ISIZE%
634403

%SHA256SUM%
807284202ee503494eb3a3810cdb6157e9c0b841511f0ccda126e6c12a504d4f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmp7XdcACgkQeGxj8zDXy5LRYg//d58covcDXIgwCHDfiOhAG/aZmktpSEXVnvnkh2WB/nrg7t7bXvenGHspEU0BjqvSQ4HcWkAaeZ/6weEtrrcBZ2iSk0vVH+drOKVXpgE8jXIPVdZNyc/8S9IwNyUlVwKtb08qIIRMTW6cLzENqdUHNJzxsvEdbqbIN3+6qj9zqXocFqH5MvCly4ppCDJAWGX0lKDHtOWEGnIh5rEgMyWS8510Hzuni+WykIBN2Ei5sxdfsAWb4GQTzeAwYvZ6I4X4e/pAAdZkSa4NnKe8ckEfrvCo/TQL9uZKYiTb1exyIx9S2dv94jDXorpbqIfAk2ekxy/GHvoXHA/KkxuffEYPifG728oIlPdyKG987/KvIHA25aakHp2YHG3cty204bPHcy0maxSdPOvVgqQILyoh4juz2oquguAjUv66mfspkAnabmFrHG+Ekaz35ChIuTjwxJtMgxTyl4fFIgDqplh9X2MsKtadkMpkVv/T7MWLLnY3x3VheM6/HxysxPbYBf/cbDRRnsh0IsiMrQb1JoUJJNqdjxMqtE5lmCa6UR1gjRtB1gEnQszpE70F3yLOL8E5YzS+JOonXVr3aht2AV19dk93Y7Ave9GtNaeLPUesMaoAz83aTjihYN2hK4sE9uPL+ViW3S72ivsfvW36dg3pTN5dZbJPQXKNd5HfBFdYuhA=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1786469823

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

