%FILENAME%
tamarin-prover-debug-1.6.1-329-x86_64.pkg.tar.zst

%NAME%
tamarin-prover-debug

%BASE%
tamarin-prover

%VERSION%
1.6.1-329

%DESC%
Detached debugging symbols for tamarin-prover

%CSIZE%
5688

%ISIZE%
3064

%MD5SUM%
b308b9e136ac23b9f2fd1b5bfd5b6de6

%SHA256SUM%
0f81574d906b3ed2167dac42d844c7af45b3d6de35885bbbd0faf62edaa7ba98

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmSJTJEACgkQeGxj8zDXy5JOvQ/+M4UGYZox7faiAWmrRUXcmR4vyBGR3/VdhhDHS0MN0lDF05f13/crzK5EZ0yQSF61SJwXe1IYJYNsjJZv37AdMgDoB6BPmZXDa6dq3At53ut3jo49XnXHsDYJ/1VCYTdw1q8IDxg50XP6GF6K6zps1McE45YDmmi9DvDeu5UejOm+XZOr/Yw/HZwrl/tkTmmnSGnt6EZTGfhngTBXolrEF3pgpZaHn3dL9ooIZSU7YsjKYYT/uKyhx8Uk5PkJCRM4XyqwEQGrNBjeIlghDsDMuh0Ch+HcJETqU7hI32xXwBtLKQThBnKp/tDiTT4OrfVAj3pGOVHl9bniS7lae1kJseouhkbbuVcmQyqVH1ukXdWWdDkc8y1oPURLoLBt7dq7HvypwrslN01Zl+UrxfmmKYg/C6wSE0OtkCtdIwBJq9T46kE5MIW3kdI23zw3fO8QX5HAdHaCyCMwkeRAecuImnivzHmu9HzM0jubhFqs+53pvHKja4FNn3rOeypGbY4bdkqPSiPuiGHP6C/54osC4rPWOL0mR8G4dudYCWUXUC7C7IFxtl27Jx32tOQ0BPfBeFIuFpvOYKTeuQzqz8leKH6p6+yquCtQJQugacro3zvg+47sV0MjlFAq6gnO83hkcjkCaMiSUhhiUdtV3nfCGZZF4ngwW86LvP+894NOKqI=

%URL%
https://tamarin-prover.github.io

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1686719559

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

%MAKEDEPENDS%
ghc
ocaml>=4.13.1

