%FILENAME%
haskell-tamarin-prover-sapic-1.12.0-42-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-42

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

%CSIZE%
265308

%ISIZE%
1406213

%SHA256SUM%
9b7f5e83627d397754b75c55ae63035b3bab99b8a913a726d52b221abee0d9c4

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo0zCEACgkQeGxj8zDXy5Kh+RAAttgRw6tnCj9aar5vShCjPwT1vPJe44Aui1BIxDX5ZunE/maNXwfKA43hpz/X0kRxK3/58Ixv6lNFldDBGVZdjJUp+LGJFs3Eg4hp+KM8trw1TAs2qVv0hmPUm4NRf53CF6dH/UoAg6ruPQjzay75SLW2JF0SCK/69hrBv1/WpGRK3rIKapyU/uoHBDK93veSTlGk+zGhYGnYncNJsW+LRbUQvVOGrGKyF1PDuaolqHGZeq2gan3GpeB1yFGK7W/UUwrHRsg21pi9jd6BFzGmET2x25vQmL3/tngPAXNZp8ub51AvldKJb5UJnoOUWITWpJXNaBqICxhosnXDHr5eWtGJhCIqCxQPDLM2pPy79ZIqG72KenES/adrMUv4gM/krrMAOiKi4LdX1a8FDAwphX7KdQJKzbahale8JF0dM68nxWr1BJEi3f2OKdBOKnDTZQTU6jVuWCsZ8c2ZzVVcPp/qE5fdT+eLBDkOwM/BY43p4pVDSati7/PK1oH54bPYCB/hk1EDCNglHgAYsnxsyn0jyckGPbmiVT1QmksOe5d2KiJBygLR7hae6TDwyQ0xoqCEi2glboteyCkUAL8Dscw37X6QRQmeEz2+R8peEGUEgg7Iu5lVCV3bAT41vWzKfmTPb+8BR+vWhNiNsYyogTKKjGim3tUDbZ2wvQQtNV0=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781844995

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

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-dlist
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

