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

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.12.0-97

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

%CSIZE%
221497

%ISIZE%
1187714

%SHA256SUM%
a42822c350df826952bf08b6d1e28cdf96306d462efe187d6fb641b01ff3c210

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmr0pnIACgkQeGxj8zDXy5LElxAAvaBFT2S/K/Wo2Re6SB6sBL5A36Z9dhU3F//CZj0FEOuRzwhkHGGxsQlyQ5Vg0pSt+vEyu2iLWcPMXGpHGCriel38fs/Gt/LE9pLo6/KbSWKO5n205/MuxqJxEMhrU1QqCqnR8Zt+6qUhgN76x009yfSc3lai7CK6xtpmI154Pej8I2UsAkCyRIdrzXuT3H+PHO3Wt/BbHh9D6iBgDChHB4o+/EuWV+uQ68YQWbma7YrdK4PYQsxIxye7Co9Gg+Wk2fl3KTlzJDoqTMdbZ5Ya9Kq8aoI5lQyNQylStcjJGkVI2U5TzRbenp84GqkrSbTPjnb8dg26RIFN5nwZ3YSZpBJL2UAn2fKKfXwF4Aq/tjhcrzGRzMrOtIdzQm7ms1bGYoTOwZtTbN7CwhLCkGMTPq5Zq+1miFtqfE4hKNKvOAxFPixZAuA41cZBCywP/DqnM1/s8YKb/f+8G3rsby8wmnlcgI352Z+riVopV9rOkhKL7Y9N/e//SxKOVSHVoDA+bnCCrtFzRtkBbN2rxcROGBn6Sy3iOKFEaW/RZn1D7SewzKbjN4tLrK7TRVBTsoqvTPqZAj+THyYvLVZLtw818DXKVZYW+M4XxheT/+ke4M8lpVodZihnXDQqqqm90zTtVNoEtiJlGp13DKdcGtjzTDsYjmOodgOobwgvl/EJyJg=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1794418258

%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

