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

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

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-77

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

%CSIZE%
3830615

%ISIZE%
21039324

%SHA256SUM%
018e47a6667bf9166f117e3a28dea26cbce72402702e87fb8d714642dd661a77

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq+J/EACgkQeGxj8zDXy5JEAQ//dbbxTPcvzximU1UEaDlO1hHOa1RPI/aOjjyXlL/Fh/bcQDL1pPoB8dPDktNDFHPNQpDDyYO5ln1UgzlK/J5Px1OsZoYGJ4GuYUaWqy/BJcj9TGav110542Kn/ACJUHqTm/2m4alV8XYx+BA9+BwsS6FRJ4Su74Va2OrZ8UH4kvAmOzmBiGK1CyzsBodHYxwdbDXViMf6Y1qXvXLp3piu+38T6d9KEI0y1uAIDJZONB+2MC4FpPrF0I92PHT+keCO3/nj55GGvVBV/Pmp4jp5cOBD4iyVAjIfJ1ktP7lqF5OeAkotuBnERLTEC81CKDYdqkYZWUkBYTFudYneHblPhM6VWH944BpPj1kGxHv9Qc1TxfDrcXW4iR16rYH1dlTPTcRf2zVORHGrWxIl0CdIZrUXOFnEvjfR/Zw27QtUdq33WiFt5j7FoC+gad3liAz1SNgWqZhVhB/0Yv3NKFJvhmaJ1Zo1SnXA7OuleCqZtmui9EVKFIxJu1sABNdtrXpas9Us5BBzEcixC0kxBKZIO6Wn1Mo2OCWJRVh8YexC2yCMHHAdzAFyjI6FFR6ZX9ajU447cdLUVwOkFdzBrCFTuB5yw3GqA3w9cxfSiLRtXbS6PmM3TKvFDfbgr8xf8hv3wn1VCybeYf4qL4cttVhv5mbLEkDvSyrFNM/NM88IfQc=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790846862

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

%MAKEDEPENDS%
ghc
uusi

