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

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-76

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

%CSIZE%
265336

%ISIZE%
1406260

%SHA256SUM%
c3f0c3b56fabe7c0974b4dce20e2499b2e690fbf294ab48002a88838e99ab6c8

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq9HM0ACgkQeGxj8zDXy5KCpw/+LtH5+MovnDM9p27foJq7GUlndU9eyqJxedX+ZKFywutZ9gM4336UOIwJ9TTa2K9y2KeqI2EL5xjT5bvSESEM884I2mVCdkV+yResnEqxhFk86GrcfbVVInmiU4eTQL1bYChgCRCYRM5JPsuQJ5w8F8qZEWAKT44IaCrVa7w88cvKCkI876kDek2wdqdszQf44bpZh8Ow8bbVYqgyfhhvUQl0Y6G0t79DrRzDxesGNB4yVVTCccZz/d00Kpihv349dRauHzv6RVO8fIyjUpSp/hHv/3MVBzE/c690r6JCcVf2fkh6lmGmCkoy9C2N/ZtF1kOmU4EHbCt9GM5IxD9ryT3c1R6gOyTmbhdpobeTfkL/kFOfFmfni2FKXCs7lkL4dRH3iFIZs7Uulode1H3E0F7wUI7SeJMAmQ81twRBIg2R0IvOF0UTyzGlQ6KisDx2HIu8oW1vHH7Rd484QGmJO0MErjw+P1tkdKgPz5VP77rKbcuXuHEvZvCmGLpriOGz8ZvZ54EBZb/xZ/cunDicT3BlAwpboBgLrpf8x3KMRG+SSw9aUdjLZU0TSp+SUZzd23xd1taJ+aP/Xxwhjhs8LxvnyFX1HdZ7Zi9SOtrDzBKCfxawdSX96PUzqWqikSoFRi0Y4z8XtJyT8/6Zu1Rq8YMy5WFlFWTEkc37TYIfIHA=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790778517

%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

