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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-93

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

%CSIZE%
3038107

%ISIZE%
22800594

%SHA256SUM%
63e61187677e225edf9fbea6bada865c77ce8a042396cd261137be08a65b9b4c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrYluwACgkQeGxj8zDXy5K86w//YE3dod37hjB8tMh3jU6iyjLdNg0ypj9C0g0zmduZMjkCuEJ4EYh4To9aYjGIjc4l6K87vjcOeV8JNzD7RO3fukvnNo/nYyWsKvzTVh09lAbZRbR+0HUPtm5UkkvpDmmrRXOeS61jnu753AkAg0imNFyJGt8m2MTkPEzsNyy5DzGdhCGeN5NQ3ZGXmC013pNd3BXDOjGoeky+XocWDmJ7+t/aAwsJdbsUSf0qIINli20UunsmaNV+AQKLhD7nCD6Phmv8FQ43BKfdwQre2l/tyJr2otWfY8T+uP/aWVGN4NUUv4PKLxaLDkqI/dbLLl6zHrwvGfoi9z6hvz9LyWwIyYmUCnjvrsu12XnjM0jiPKY8FY8o5/so2x1bmdwuew0RvWdoDmiT/fMiARSkYdy8WOBIhseLHn1KP+yQk9VoAVu2En995hvOO4viY2CXV5trSG/V4g+i7s5Sv+ogVXi76NaTcyju9BVaWGBrsVzk1TvVV6z1Y2ziuEz0/T0McHV5J9Yaobd8zDyg3NYwtPUNMbHnF8RC3YIxi/Yrmn2ACJTprlOqdS5xKptezZ1SLo3P21HgocZDY5ObaesBL4E34JTmUapTRuJViNszO13urDutLj5k5BSjYMCabAUuisGIkHtMe6sjeX6mHkYbTQpdB5e2gE7LTaUfJUhvSxvWSew=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792579212

%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

