%FILENAME%
haskell-tamarin-prover-theory-1.12.0-83-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-83

%DESC%
Security protocol types and constraint solver library for the tamarin prover

%CSIZE%
3036969

%ISIZE%
22789532

%SHA256SUM%
106b2d81875154a68d68acce8f67d54ab03e1df16e353215b7413926c212a66c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrCibkACgkQeGxj8zDXy5LULRAAny/leDyLDs7ffVrD463DjoV30gb2TfwqD08GKqURik1cd+xAe/vDKPl18ha1pWeVFCoOFr0qbQHN41y1UoR9NmyeN9QLGTbzOfKrrz4pSwPXLy4TM0FqnRmAEEzbDEAznO+0V2rRKNnSCKaWUcewbnKZu0DWPaiE1ug96F8sL3MF56IvzDi+C/CIX6AZaPBDMxbm8L7xDQq36vmjv0WNTIL9jKkbG8dYaj5rB42y9J9YRNKiVyNb4SQDPuun1iDtp7TaZ9ZrvurklnBP2uj39MbtJYomdM+8DWniCKlyJhtB506oe8EVTS1PuHuKN+FvKf3Bv3J/2p2U7fWUdn6fIJEcKiFFdvG3DHr+Als1e/wB4VbIAewUzXvRY7lY/Rr6V2x/C6E5NHZAb50Y/GF7Lks7iH2LudrWEUkjFo5tJYK7UOuVNRNT2G4SOOlQ81hhoFZkyIfmsPP7AbHff2BtkwZv11sU1GCoVNCPnaw+hWRxAURW0yCNhlE9vu+kR0EGw8MZe3+24H2v6inMYIvaSlDbpZ6tgYmFo5z7BQZflCS8yD9t4JpIQIc+TMhBEd42t68NEvpS57XLKBds7Fl5Pztt4hzH3BKhCgkSrIWS88MrRWVtDqekq4om2IuLvgHjj6liKuM/ziSzdSIHW5L5NLSmUVGMZD6X5FnktcYrr74=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1791133996

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

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-attoparsec
haskell-dlist
haskell-fclabels
haskell-parallel
haskell-regex-pcre
haskell-regex-posix
haskell-safe
haskell-split
haskell-uniplate
haskell-tamarin-prover-utils
haskell-tamarin-prover-term

%MAKEDEPENDS%
ghc
uusi

