%FILENAME%
haskell-tamarin-prover-theory-debug-1.12.0-36-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-theory-debug

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-36

%DESC%
Detached debugging symbols for haskell-tamarin-prover-theory

%CSIZE%
3829252

%ISIZE%
21000996

%SHA256SUM%
c9ddbb0a564699031a9fcb91d72c602da75622e5d91862f13b422a4d5763eb60

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoHnmsACgkQeGxj8zDXy5JWQg//USEBCBA56E1bncjZJpr812LhD0B7slAUeZHtoWJ68JM1LS2744jClIhwrLGNwGIHreA/f/V2fHsqJGZnaYgjVQMqoetSG2xAGW60vmHDIR2sEu324P2pECpjXNAIqgBcWtJ8ple9qMXHEd1YVBE8cs4d1HxKYivTcp05q3LpQMfkI5tCz4ahUON28QC3KDwEY092cK2lgIj7BhIvhgGA/ekmukfhdVBDUA+YsWocUZa7uGQCOnazmlqB7H99+JiEs7J7dis9QbJq4wsAgahSyvGnjAt03z6fAELWAAZV/kdVUplqXyX9tiS3EJswsVAus7v0hRAWXcuFaN6pBgNHcu1Wl5ILTo9ga8ZBzkHf2p49RDJJYPQS2BvOfseTGgnGcPqGad1ud8jI6fnTAsO+2qMlrsk7dWhr6XrEUlb8/eQkZphlAyjwK/2xZn4J9PjdM8BVto4T2vFv6lLgzdQMdGxDmzyDmE0f/eDP6a9jGux9V0uA+vtOm3ZbeSYyefrBAEm9ywib9bIwjgnrMZcw0aNUnTtwAzSfCNEbO3Rd/brdvV2gPZvpqaMLH6n7qV2Uelm/Ns85JtulGRdjWpUH7E/p0AAQSNygcAwJInkBsJhRInVuXn51vipQciMHOe6t1n8ELcN23tVGcx+OBM9OYXw0qZIxvA9+J5KcivyxaT8=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1778884015

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

%MAKEDEPENDS%
ghc
uusi

