%FILENAME%
haskell-tamarin-prover-export-1.10.0-17-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-export

%BASE%
haskell-tamarin-prover-export

%VERSION%
1.10.0-17

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

%CSIZE%
180247

%ISIZE%
973387

%MD5SUM%
4e7791f07be9cd20ff5e477c83e04c9d

%SHA256SUM%
8343a6075c49a1b2f9ed9e4703d9698ac37cfb24312932cf05725eaa072785d9

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmfdIjYACgkQeGxj8zDXy5I0ThAAt2k3Vv1+xzZyuKay4ZZvODXgbm8w0ZzlAo2GPi/DXkATxX1hbEqxYH7IBVKTOhnoW6QIU1xtJ6cOSUuvGuYbpuQ0VUqa6kxGpPgZMNk9TH9gBo4fv12M2wlSKuEv17mkfC05NygplSJK7zYNd8dKHvCPCjbjOVqrFyGoCTGulL2B1TZ9pPRvXSX0Ggt6DSIHiSi6sQ0TLfr4zy+HbLlx3N4NzIzcDZgrIrLgUn8ccS2T3XQ5acUUz5bIkTrAJuTxvR0FSlUutlAd5kX9ZCwS87ej0PYqDcYz1cGyki07ndJE4GPemulxl5uMAwJYZXzcm2c/ovIc5IHOtPyDDoVlTGHDKg48tn/huyjzK+4AJuZQm2ALKJ6QI9oGQp5rmVYVcMctgPM6gPs6Gydd3U64JdIs9eCv+XnB4+szgFHjHn8p2p/8ngEFpyTO2kuf3QQLLq0fDImO1qzNpKAE/EX2n+ZRmDSq1L0a9bUJB+hlai06rfhhqxTJ99GvY8JSc4iC5dLCDTDegLCFLJq4IGsac7TJ/Q3Z8iYS1g6T6wEbiRGouiLACjdH/Nd8f7I/FTTN0wJ+pvYWRdLTeCSGChGqP7rIEtZ3uFjtgbYKa59nY5pwNFSF2Lj7Ixfw58mgTQJn16whB6lRJ+m9BHSYpi86FUz4RSDbWbnzCwr3kQZWUzE=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1742545426

%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

