%FILENAME%
haskell-tamarin-prover-sapic-1.12.0-29-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-29

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

%CSIZE%
265310

%ISIZE%
1406314

%SHA256SUM%
7e0ee492fdb17026e703456100700530af0cc18328c335d307640c59ee24c023

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn7SHEACgkQeGxj8zDXy5IlkBAAqouVZDzFJcCSRTAVhJ4iJ9mpSE/Fr7JDxuuNV6PqsGfEbHhVtSjELDqExAnOud0rPKfEvWsaxMmjBuDrQ+3P2Fv5AMtOKdgvhVOzEeQxE0xFSPbhdJgKWYVh3g0KLi1I7oPxhkOq3NyB3W9M/exAAjK9I53SBBcp9hCQL7/AkLvku4iNu0KkbNNdxlIB2xrI47C7OTTYKt8On3GobJAbzp1Yqg+YXsaxlQmhUACurD0j/fXFH6ijIcxBd5n8MK96RKdcZLniyaMhrqLtPJ8GpMeIEWJJfiuXglz9DIwiKTB0k1Z83YfWG073LLz/m7XYaWjRmAKh1ZFzdjOapyXF23QRatwC0mdKRF0VNrEHLTGxugq78KXZvV0myJjMmXMfNVa/oAveDP5drUiYyoR+gCziirgctTHdwpMsUAc9AVX5B1MkMeQL0/URpUpkeKXyJ+Eg84sKcIMwCUdTd9+Tuyo2Y4zMQ7rYkkdrf0E61qjVyS+k/mt8tQEmcas6ZdP/XU5+nnWUF7PZL9cgrAp3bQHIokwQSXp03mLyrpF25m7u2xgo5iX7zh+w21dwLZIPnDwnOxabIJ8rts/rMp/7NqZAJlK8HnDXbJ+89qVHIcUFC+sNY5VIApl4PrHO3btELCUr3KRLPlRmKshgEyLkylzEn9pqXxvCCBjK/6PnmAI=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778075737

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

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-dlist
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

