%FILENAME%
haskell-tamarin-prover-sapic-debug-1.12.0-91-x86_64.pkg.tar.zst

%NAME%
haskell-tamarin-prover-sapic-debug

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-91

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

%CSIZE%
282080

%ISIZE%
1419572

%SHA256SUM%
5e1912405362f15f5f489fb3994b4a76bf3a65c269f6a3850d4c00b99fb70ddd

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrTbUwACgkQeGxj8zDXy5IlJBAApeaPBHGXz2qldC7wdenkn16pSdzYy0sHcm3FNthmPa3MZ/19Sud2hVj+Ard0kdQdoEeAj9bn4QPMwe/y4Gdt0NPWJ+mtEMz4IcnGg5RYNO6ycJPijErfGf3rkSdLP27ZeE4za1lRtZWBO2RkZX+vyvgBGO/siq5rvSvUaHbY8ZJePz7cBkT2Nsgfw/U6aqFge6sWrCWoUvFyqcW5ljvTh3ZsNBrMLzNNhkaAPnEUomnrVA4Y/QJxUCnecGMBqxeXafUJ8uUF80ae3koMPX8FzxgxwJRoKOuUM74vWPpbHV6YJAtnCnj1bcIt9cjzKeXyNu+i7mbKY0UAdO8/RhrzsFsle2GZZZC7D2sH+EoMqQAhsZaCTvO8bWe3+AYm9gdN/HNIfb9XzSio9UFXipV+5/uXWRgtfU4pMxC7eZDXoQ+y5RSwkQiMp2TvQjDBlsLQiwyJOJ6sBRTaCtLXIGpueco4B31Xa6R+hh+7Z/eMGreF1gCuN/pz4m9fcbvTkRLtaoIc6yyDIioOVjMUaF82DAD9va2uMm1TPKP7biUI/rV3hJMu4VIt1CKpYj31BZLxWPHYJyLBacHklhLwdKMkyDFzlfYNXFBUr3wxyorFX68genAe3lfcghK2kQGo1KTCpZ7rTRkvVp6op2uoQgKyoSbUW8Oq27oIxgMOWllvr8g=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1792240946

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

%MAKEDEPENDS%
ghc
uusi

