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

%NAME%
haskell-tamarin-prover-theory

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.10.0-58

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

%CSIZE%
3042345

%ISIZE%
22750513

%MD5SUM%
d3e4a88740eed3c016591a7de80025ac

%SHA256SUM%
5ea37af0e432c1dd620f64c8601a0b961982f3cf2d03f57a8544b348afa5968f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmh21psACgkQeGxj8zDXy5IfBw//RZblupZdSs7wcKiCwM4j3R9L0e8SdBoVgqn+2Cell20BMsK4jCDc5/tR7FpA0n6YRpET3CKsZsPbpIM5sdjNdZZoDeYYeVRXU7hZ+ZzfcfM6AP/HdgYNhUvzM6mi6cQPIHUJYUyn4UdHDG4DrqMEs6P6aEPzfmfaNgVRzzFcMyyUQ8CII7Rmz0dvIDba7rVlXYkChyT0LTEZeiPkwZqULMZ6MFDTQlHQh3+JxY7e+A3l06ZzAqsutfOEShdxCUKZSEc6YxvYZscKaxkj+rwSMbh71MwU5rAOcqi4b1V7W2GtgfWORRaAkbMykuCzmVqjSTL7Io8qf3zQXvB3eENum5IcMH3Hm1c5Xvwswv8UNTuijWp1b8JDSFiiubZEVv2LW/gud+PpxX78DDnc/k+QKxmbtVTnuBTrdYE1dZzBU9K9BZbxW/fbn1uMUrKDcnSqb6wuMEa6aS9hvf0HWZfhk+Oa2YzdrWz/AoW5YxCOBCWelK0FhvTigPht0tr6V+gzP+N8zPJ1BTV/BdnTnXLw1y7EAsFS3PeRvwu2Psx3nNUOMWFbC0Scf/9e7rjyKoDCY7ANVlbsjsAHCSu0fJBbArhpBFrQeXW85v/JikqC88WINqwHGwogrSHw5wqOw/uWMBNj+xPbCYHdTqRYpdusP3wc3D062h6FXi+hJDUnHgo=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1752618310

%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

