%FILENAME%
haskell-tamarin-prover-term-debug-1.12.0-40-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-term-debug

%BASE%
haskell-tamarin-prover-term

%VERSION%
1.12.0-40

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

%CSIZE%
638502

%ISIZE%
3725041

%SHA256SUM%
de14d5840e7e7c507390796ada124986630a483e18f965ff14a1e3f189a094f9

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmou1ekACgkQeGxj8zDXy5I0Dw//U+PIj5LZgrpsuQc/EokO5RG7VXmDDSnNv3VCgjkp11c8AJEl92y/tQ8SbmDZo2R3iq2M8v60JIk8bHaOWhx0cYD0XuITiTV8unVAvWnRk/MDspcNgF7424dn9EmaoFb2yODk0+vMbRhFcV8QtEt6R7waNd7P15rZrCh1yWAIuftB8dHiqfGi4BY8Otr9VrcF1kG3czMP8bARl4D0Nf0mS0qbwr0uZTWLsPl2suD4io7GmxqgU/YnhpKvtIzjxVbjSDkdESFKENySa6T+lmR2hascx9CXj4AEbjyvbtPxRXND5900lmdpsnyACJDwUayGxso2jbBZw33EqA6jERU8q8o71yztDf9zjhiu2N9bJnwFy8aJLSKUACKSmpSc93kwcxN69/7UFuz/uhmdKsudqRi7Djppq3adTj2U3HF7hReY0agi5p1UYp6WMMsIY8SsEUrcQENoUBfGGy+m7BrmR72xgOdIB71EvJib/drdfWfgveQtj6yb6kZkF279GOzH5/yrojGC9zAKpBfL0FScknzkcqGhASzSvtBfjRP5lrN1kXLBj8bry5plW1ayvceIx87ZNrM5frN02UqmJfogqNxaQF2H4v40BQBItF/OwGsbGN4wt42bJcfcD5q0vfnwQ9FcLgeocihUxCDJWbkBme/JfFar5oZK/N6cHp/0/es=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1781454282

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

%MAKEDEPENDS%
ghc

