%FILENAME%
haskell-tamarin-prover-theory-1.10.0-15-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.10.0-15

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

%CSIZE%
2997445

%ISIZE%
22955579

%SHA256SUM%
6167a2a748ecb424b6817fc65aeb9fb7d6a818070a013b5bcba77cffadc5c3eb

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmfUbDAACgkQeGxj8zDXy5IPLw/9Ge53M/s4sLfRoq0fJjkUxsMSGDBKQ4nOpVXJJIHaDNQ8wRjSotubNtJnawVTpYCOn9nrJFrtyhzPTm9eYc5QHQhk7GvpauDLlShhdpW4Xj69M2vUpjMAqtdziI9QnqpqSYJU4g8ooo1ZmWnM5a5TFft6es77X5et9fwO4IGb0kVzKZONeeu7wohytwTawEw3pK1TQCYsNR96r3wK2AkfdVIFVTlw47zF7rn8OoHAYrKwIQ0Zcm8Z/RyernSadpB3TD4Yv8JeG5BKloWMpFhFssmZ2ygqGMc03wwU0EAtBoF3fYtY+AHcRL5+6DOe9caH/atRdvAe8iJtKNmYFv85OTJiC/tb9GazDR8/lYiGbUpZeqmb5jl391ualYQgONAKksN2zKnnokbEYdSqIbXB9Ay6XdGZgwrsXYgQQ1IuZS+MRTq9yfnKwQ4cGwgaeTGy1ZzmzfNFWiSqsciv17NJAID4u9Jrornfj9ITaHFPVpt4jF/LQCxQAcV2PjGX6YakxWPnjowe4+RBA9uBR9HiZUmekk/1AmJdKa9hgpro/tDYV+kLL5uBG23PIOowGTSjgUpG3jytOP959wX007pqqX7bUibSlQph8AXgvJxTCLsIJaH5Pt867ctYKxp/E6IULw0VQJMuEeReIU9JVoDfNN3aTczjXE5UuHrCikT3V+s=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1741974204

%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

