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

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

%BASE%
haskell-tamarin-prover-theory

%VERSION%
1.12.0-65

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

%CSIZE%
3831373

%ISIZE%
21078780

%SHA256SUM%
3904dd90529b462b9916c2a7d5c87fee48cb0dcc83d8fb83b7e62255d619ae4e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqSj/8ACgkQeGxj8zDXy5KPFRAAg9pXZepiE3bleNGdW7DbJlGbLIifpb/YL4CxWxncogZ0p62gszv5KlN1ERUqsdahPysZG+I2YSpxAxV/qUIPEvycWDLz2/4f4Xj2KG8oV7Wgzwg5f7v8XyY/mKF6/irn8TZYyDciQYncagqHfq77b2sJvF4LPMxlYqNeNDoOTV1JsomrU/AaYAiyGSBwO3UkDBYYkPTLoNTHZ0n2dUmOIaPVJznVMNVRnRmJwVeslBLqwJF+HPhBM5Edi6si2dymjXDn85AsZ9l9L0EKKLhRK9u0sZopq7azM7MWvbX8RVKNUm7/9lQ/FZ1c3pyj8pnHPkdHdkIiHWg5AKskxgZDKEjlCoJUj7iKjtjbQd7Ycff+IRMKTY8xg1ZMHkZggTHSKXU59kmgcn3Au5jFUMChY4IZq1lFBe1ZZ2W9NauPI1vUWSVEE+2HnC8rUPfFEmS/FJbsJeFlKRym/7sS/nEeeUBppYlOnrxVWFsyvDBC4etP1Tid+us/iR0dMq0S/XurxRD1saDCPMZVsn0mxh+lRoogyA6TRU4AaYSTpKBMkVNbaOFwe+VrjbYq9sUHdvFP5wJh8HpdP6Bo6KpwSlAy0Rrg24IM27whXjXmSy+gx6dFfEDM9QRD9NtngAlj450ioNBc+0IoXDj1OWpxW+i7VCsqjbnq+IDDsXxxutob+gI=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1787989759

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

%MAKEDEPENDS%
ghc
uusi

