%FILENAME%
haskell-tamarin-prover-sapic-1.10.0-137-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.10.0-137

%DESC%
Library for input processes in SAPIC calculus for the tamarin prover

%CSIZE%
267924

%ISIZE%
1429896

%SHA256SUM%
4ecbef6f0b9d4378de43ef5391de8e58a9b56e49f4ed7358573146b1039c49f6

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjoVTUACgkQeGxj8zDXy5IV4g//Rhk6ugGqGV/43N208pK0Vz7Q2W50T/RiOb8P9KLmhaTPeirJ40weXIibg40mXDZWWxFpGMEY/nrfR7JNAyZpybzsde0nRWx/ciwLp0fE6bhbtjl7GEdfagR24uGccZ/vNPp1IVS6s5JmVRfrazovWew7rrHsc+SOQ3ggRNlRADD/STmpFQJDbXaA2llMu99W2Wor5sSRk58EMdo1yasmH5qOkAqKfO0XFRVGL7lYsGGGacYm3DZU2uhoE0Swu5ZY3yzTf6njjc9sb9PlPN2JrZuIwNDcuxgZJdZPpF7PSSxC4GXPZZrGr9o43UKmfSZi8ack6loFmhKZDCkSJC8IFbxWkxpIYXPrJ7MzKqHPQRc3TZCt51QvQ8Dhph7svkfg2cu0OLC8VsVnlzaero20AuyYiZBN5jHtELqr1lBG68Us3u5X5Iqme6vN0r/vksfC8W53mD7TqgvtAJzS6H4z8lHUwUSJOfCaw6UqCGR3lz/FXUTFEHFe3JhWWfwGzxPaA2SEywXLpZ4FaYAoHnn/vswNs6gupBIw98Z4LDkiaBhlUES5yHNyXXJTQkgAQ1HyjYobJaAB3cWycolG2gOce1LNGlYCYQYZIHzMR3+cZf7JmXHi5951N/YkUAZcyjClP57VgNnlgPz3jvM4TuzsiG1/DxKg8JadXLedlVoccaQ=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1760056597

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

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-dlist
haskell-fclabels
haskell-parallel
haskell-safe
haskell-uniplate
haskell-raw-strings-qq
haskell-tamarin-prover-utils
haskell-tamarin-prover-term
haskell-tamarin-prover-theory

%MAKEDEPENDS%
ghc
uusi

