%FILENAME%
haskell-tamarin-prover-sapic-1.6.0-103.1-pentium4.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.6.0-103.1

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

%CSIZE%
160051

%ISIZE%
698638

%MD5SUM%
fe5bdf74ee1cfb7d50920d1e70078ccc

%SHA256SUM%
c284a6e7219e92044378f421bdb5eaa9f733755e4d8631ff5b0cb22e6dc80799

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmFBZ5cACgkQyOj1oK+bp+eIOQf/eD9B/5XJy1TpME2RC+0fA5m1ghll1LaDXvBDya33RaIumb+7GYRzcFwaOR2RmBGTGpoyp6WUbsw8cwwRAbHHAsUK4hN8wAqr+x54obggcuzuObHa3odrpIbzr2VJSIL+7wC9MvBtROw6+i8o+SfYT6DKYnb+wZdcw2010JYvkh6cg52SHttx9I03rEdPWqECluaVwtY7wCktmF9CdGulGw+cQ36+Ukvaioi4w5ClHmwzDsYu88GZ/wXfLX9zHIA5zN5KTiRV0+0niphHHhyeBtQcb85RMxRBeDwvh27hrkg0Grs1tEWivl/NvTBfPDKOUaMb8FprqBraH4ct+CL3WA==

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

%LICENSE%
GPL

%ARCH%
pentium4

%BUILDDATE%
1631676282

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

%DEPENDS%
ghc-libs
haskell-aeson
haskell-aeson-pretty
haskell-dlist
haskell-fclabels
haskell-parallel
haskell-safe
haskell-uniplate
haskell-raw-strings-qq
haskell-tamarin-prover-utils
haskell-tamarin-prover-term
haskell-tamarin-prover-theory

%MAKEDEPENDS%
ghc

