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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.10.0-17

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

%CSIZE%
254051

%ISIZE%
1340158

%MD5SUM%
94587074a3e2d1a76e60c5f69ecb2863

%SHA256SUM%
8ffacf9eb72842cf6e38623195dbd1484aa567259e1c764948dfa81d2b76ed94

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmfdIf0ACgkQeGxj8zDXy5Kfyg//YAETgZLtWV7/jGTameaRVHx49HX+EzIiy3hHcE20NTMhwp+K67tk00ircSD0hB9aW8PFSMh6v7mGxDuuNTR64yxcrr+gZsRkseb1vpzF9kupl2HRA1DpqVdQI2ZK8Jn9AnvnVwiFHV0qY5RMSE6q+TVJUoNRXFugjmvJYEO+4Cc2ipseRJRHqJyR5TYhmyhVzAEGoTybZO+saBceVLQubZwwT5s1M9awcuPZxElW4VNWjP0IkU87iDy8ptmA6RlK8Dv/0/bBPH5ec8zuNEBVq+FwuhEth9Mc/A3u0IMHNQ3CGgztKDB08IwXiuUwVX39eemOOZ/fpwthpzQ5Y9MOiqhVfL0VfhMi2I2wnD9SS/xe89uBlVqkrtQArEZB1VBA+bd/GpOwXN2WX5R+KPIL/kI6bt1y2fKm8REUFXI6DzIzTZZmBtzVPbRaaB0C0aT+ah5x07lbHgcGyqBNOUMLRss+rTit8IDivF6WStkK6Fz4RbSICo3SrRQQ2gy5B3mHoqMVfQp1zG2e3/7Vb+uPxaqtGc8kKOysG8UEogrMNOE1qOyV4rZyOdKIpgsijzgyLxlgqPMynOQlSFxnM3bPXwxhqUpFj5P8dtNGwdteK851YDGvqwT6szqM8pvHA8mlRQ2E8vR18DTZBEuO9/vJOaokd/qwp40JQv/vHoxi+zg=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1742545374

%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

