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

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

%BASE%
haskell-tamarin-prover-sapic

%VERSION%
1.12.0-79

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

%CSIZE%
282065

%ISIZE%
1422132

%SHA256SUM%
87e5abca378d97b2ac09138e263cc3cc111b83d10e20d22bed9715b6b8f09976

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrAXoAACgkQeGxj8zDXy5LwZRAAubgxt8T1/LjxeZ120c2yw6Nzu4v1E5bN5CaWxchFa452yFcaYWMyUqhVpmvSRZZK/EIlykWihKq5yDTBIbHdH3pV+sT6Vazxk+zzSUcBufjqhSifM0r/KkRKuF5mJEFkw+Pcyz8ff3iiu7uafsl1t/ip5YHfvYzlEPGmuO3KCL2apcYDeoR95nNRQX7EPvcjoI1acqZgHoO5k6TJoTzbmrH9gd7KZuxOB1hUDQOo2EBQCImsBoSP7rP5Dmz8JukOVjSiaU0YVh3NHmzO6X/KOMyFpdEDYq7ZYnLFei76a3jQ7a5OAiV1lu99afz0VyNPxa6Z1V8BYKH7Nx+kKsdB3ir2LqfkCtZMZpxeylfGnLTdiJQ2cavb2EV0ukWIIGi0iH4L/TEefuldzf2S9eQzM6HR/pkU4MtcnZnwegYcgliM/7mm5kw7hVMp3EW3Ju5JtNxUw8h4kvFmqmHx2tPgCG8Sn/kzeEOtngKSAUcxEdKowur8erXZA+uFTl9nFlh5XjxwjUBo25QG4nnyomxSEc9WpSo9PPOxmuhzEtl57cK7LMGS+Ko68HsxkJ32JYNVVKsEz4EHENHtTRTXWTWnUmdAKrQ9cwusmO79oLfFGKAKj9L2Jlmmg0/VoGcXCIO3wiqfJJeov9O0J3nNcJ/NYlkpKuQ+UtOK12kWMsHhxQk=

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

%LICENSE%
GPL-3.0-only

%ARCH%
x86_64

%BUILDDATE%
1790991975

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

%MAKEDEPENDS%
ghc
uusi

