%FILENAME%
haskell-tamarin-prover-utils-debug-1.12.0-39-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-utils-debug

%BASE%
haskell-tamarin-prover-utils

%VERSION%
1.12.0-39

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

%CSIZE%
201214

%ISIZE%
1148906

%SHA256SUM%
aaab12d99a0b84a64efc1c75a367ebf3bd44481af3ec789c7b72c28a049cb40e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmogKPoACgkQeGxj8zDXy5JYrw//axlgjkbcw8keSuUKn/PRjDv2DMKny/U+V5617pucvGwlIfqw9VZCRjXTqCF8r0QuCA+R/ZMmpwpO+49HtuBUa5D1o4lmid8oovDxTS5whXtLWJLl8fpzfQSTJkYTCuZMU5hATkymvB0zIrpMZw4Qrg65/WJpLkRZs4CYXvK7Y2KY+YDq6fZlbIdKs8uW1c68PPe5Qe0PGfgkToyG8tV3cM7JGsNn///phwmBuYunkKbWxNl7/8DlAnp9cxL1gXdl9UA6an3qb0JNnaystlipCeWWkTrggtu4b3cGOBwkkktk83NaF3o+ANsFjur1tB6cSmeSZTtJ5dEWGNWQ1rctLuIznLAcvhXHxuKaURfoqbgIjG7iOi2qmIeUOMSRiKoQc/tSg+cclW7L50YBalgImYt4o1r9tK1Dn5KmzwrhzrEc5oD9HSIouwSr9MZiHkoTk6162Z5pKduniR715JsjWubqBymjm3v08419dX1xCrj4DZ+qbz9GKE2lE7no8d0jS7fOKckfByMyHrepwxPUZtcBzJTYYndYN8z2I2mABKApRWZFuYSDXx/M3jm9juKA5a8/fxZPkpg8iR3WhB4n//wtvVdho0kqsAqElGApLHJZbMZFxC/x6AVbemnt3Ep4OElNh5S4S+EXRrFl9f0Nw0sI6NfM28/Pi3IQjbeG7S4=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1780492512

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

%MAKEDEPENDS%
ghc

