%FILENAME%
haskell-tamarin-prover-export-1.12.0-94-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-94

%DESC%
Library for export of processes in the Sapic calculus to the Proverif calculus

%CSIZE%
221596

%ISIZE%
1187694

%SHA256SUM%
151279a25db3365adea4840910837f4827e7e648bb27ad72eeeae6f95d52a843

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrZUIQACgkQeGxj8zDXy5LVUw//d7fLdy1HS4VSeutf0ppXVypB3HOF0RZB7AufQNiGDTIo1MfLx2WH0afqGMRqimY+q9X6Ic2Ib5cs2U09SA5t3BfUDX1gSjePxLzytojTYgdvQaeXdflMyc8cJsjWk0s0Pe1qNwd3zseQiBHPNEtm6l6eMKZiEIdPeVmO8wGK0XkLLDR90WO6IyhVYY0OWT1sIFHvSdOC8YWCehD9WoP4R6U8rnbVC3knH5aFPY2h1af3SDiMHwroleMDtZU7bkK2IIQtLe6yFZsPtFlOplHIP+0eH/7Wd8qhDz48WitUNKXDvQbYxRlpUzNXIpRcnKOtbMQjO/ZbYdf1F3nijWfJDGVEpyfYG6/ZuNxNu1fB6TD+rQaOj82sq6u9MdA7vB1v3ANEghCZPKVxbVY7soJwEYxto3xaBhDsqDrQLgta1Km1hxfSLqS2EPXfEpZqPX9DCMxzz6vnIvxPSjPZVelX1Ha3KM7n67T/nJNNc8S6dE8D74UEtV8N0nLgdIZ5befOTeX8RybUiFzyKrLRvGyWfDaD2zrrBUbKwVkz0se7uh1Cn64dhpvu/JYmbyGXQzV3a5BtnUMdHhRLtubsEBnN6eGPl/ebJ0h7wHgf7Wv1BpvJn7bo9CbHwpYci0APurOseyZvRXwsJN0Ys5Z8W0cGj4kiBeB6S/ywiml9VlrEFbg=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792626791

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

%DEPENDS%
ghc-libs
haskell-tamarin-prover-utils
haskell-tamarin-prover-term
haskell-tamarin-prover-theory
haskell-tamarin-prover-sapic

%MAKEDEPENDS%
ghc
uusi

