%FILENAME%
haskell-tamarin-prover-utils-1.10.0-16-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.10.0-16

%DESC%
Utility library for the tamarin prover

%CSIZE%
239650

%ISIZE%
1274165

%MD5SUM%
24db9e38040fcca9d4d2dfc6d0a46f5b

%SHA256SUM%
987916801d2c9a7855867617051a466a6a260043d717635bf118375da91e5aeb

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmfXKK0ACgkQeGxj8zDXy5JxwRAAt7dS762jMDV1+3Bw1UMBdvwH9Ad3v6+kgLGxDIJXahGlzel9VCO/ESgWxN7426m+hb03uc+eSpNredrw88gCx1WIa/wuIOXLlAhCqCTNPYYrfIOgeeeZ/5NKWS1b6i7JeoiogcFIoOonVCt89eqFxqOB8oibk/L4CoDBRyaEvM7/jjZoNiYyd0UNdXq3/pghwXKehTcISlThEl4ZB4dQfGOp7PJyUnyu6l2LpJNfBCL9FfUcfCSzTpHYNMoomG17nLDSWM95xEx3wA5gZEW7HKe1Qi75DrM6n1oWurpNnazH7mSgwofeeY2UeKu3o2Cn1u29ekGi7tWNhrURa55Mz+UlwtCVKeq6Xz5Nwmuw/gpeOPfcbI/O4T7e5CnNpp5O4Z8xLcyL7EEU3MEFHZjm36IH213U9yZmOswwUJuhfirSiTFPoTzL+a1X5ADttrYw+IngWjBK7fS1nTRsjtt8V5S1kotv0kkUXk9m8reNR1jEGNIJGtqYllL2/opXw5AgUsehu9amwY2m+8epUDC3r7mrV4LR2GTizSUJlQVR56q+BeC8C8z4nuoSZ1wyacjDyLqLxcENRsLf0BlkIersKtaoZ4wQVoEJ5Jfp4uEHjPuiBt3oAJ4lv8iWSWEtCUpYXFsIvN7cT1e2QPeI+5c1SYyB9i9UcvRtLtZ23SxmpwM=

%URL%
http://www.infsec.ethz.ch/research/software/tamarin

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1742153867

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

%DEPENDS%
ghc-libs
haskell-sha
haskell-base64-bytestring
haskell-blaze-builder
haskell-dlist
haskell-fclabels
haskell-graphviz
haskell-list-t
haskell-safe
haskell-split
haskell-syb

%MAKEDEPENDS%
ghc

