%FILENAME%
haskell-tamarin-prover-utils-1.6.1-24-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.6.1-24

%DESC%
Utility library for the tamarin prover

%CSIZE%
257398

%ISIZE%
1432378

%MD5SUM%
996c5184d338ba4e365147668156b977

%SHA256SUM%
bc2787fbf88a61d1f857f11fd765b0e8a86c8023222abb2717a7029fdf7f175c

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmHvhmcACgkQeGxj8zDXy5Ih2Q//YJek7uBuEVfl/RaaQMKTViKMLTyrWaPwe0UR/5k4s00gsAz7fKrkFGux6sdelqeD4GKUOpuATPxers9pf/KJprmGLqLIfpkqG+ELCeaAVECzOSHwZerEZWmbpVrZKmKsGc5UlFqmk7YHKhQnvAounSzpW4ieymfdToZMutWN5LLUHnrQ1amIstT9Z/eO+j4jIUTIdhInJaiuKDwXvoAfEpLvM+J0H7dakJwLuVXDVw8uaK4n0fkxmnNkBftfMX2pJEurSdfYOgjrxhvgi43RcdMYu0R3Pv5TDJPt8vIkX0/+lGtPaxiSBk/RvZPKpSvdtfskLg6+j7kzaQPRTsW5YvYYQ46pKKZhz09tykEE82LgG+OYUCPC7xFchgxi+pn86y/3K3F79kABHCRzvcIkg2UtYjTmFqghpFiVLVVwsxN/OGn+s8HEQkP6pXhNXfgT0y6wYxQ1Bi0YqGRhJ1gaI55/JiCW7uAPkWUYLEaI6c8AGZOthGE4VW35xxy6XzjBdfj6594eugIM1a/mq7OSDvdHxIkVtzYVn+65T6GR1bfsaQb/rIwaGzbPxfuZXXokgbzG6TAAvU9hdPKs/eTErT+gkj1JduXUPTeqTxZ22UZIEcfWZHthPwXKeqGBAKkRvbz6UUp2syFsLMpgPEcHmVyCoJilAcijxzOlVF0rcpQ=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1643087448

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

%DEPENDS%
ghc-libs
haskell-sha
haskell-base64-bytestring
haskell-blaze-builder
haskell-dlist
haskell-fclabels
haskell-safe
haskell-syb

%MAKEDEPENDS%
ghc

