%FILENAME%
cryptol-debug-3.0.0-97-x86_64.pkg.tar.zst

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.0.0-97

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
4691401

%ISIZE%
25366037

%SHA256SUM%
25e3d53902211e8b63a41571e19374930365cde7b3b30436d4c3cd48f7fb2252

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOvEACgkQrx0hme8KPM9axxAAu2NSldnCu6Ayvow1oHGET9/ds2WdgcTqiDNgueb+DHkpsiZCjyLuCQnsdomFX7nQwWBvGT+SO+OnrOt3R0vKPbPbtOn3gdLkBHomolwCk/S7XvhMOWX3mVMB04Z8CgRwpYujEllaHBAh8Bhzo884ugSkPE98kGentzd3Zyd5wV2gOl+CqdN5k5j+BYIDkMtlvKmr6AD6imr4ukru+bueUQw8p+xGoOyq5P0K07N3qRQSNp7aDSwcircIOHYGpSZCcp6STXyRbY1c6ELTaPwCllRuY8ixQKWnzQdzVCN2KYD0ATEhczSRQQzxp0tx88HvO2NqPAu/HJ87LVBnfV4q6Xln1qRZG0wYDlP51NIjBAzorlgCUW+Se/6ee6fB1qgnTQMJYSBqkXWuFmqtqQeD0WVH1XC5Us0YsnjWjLa+Nz3LZbj9a6AnG1cKLCjQatz7tigCk/CNxh5C0dDDnTS9PMR6KTCiQtV8Y+WDvm7im0WwpZNP5X1CkveplAFgTm0QhhOMZDtb3HpJSlTH/I8LDiGh3voiVnyT46E8FlZPqFVnt/0TWDQXwuNisjVNvT0LR99CmmKnS2g6W3o5x89ynkz0JjuHFTfz9Yqw3lTcw4IDBEJe4J/p7YBOYqrCkMO4lhb7oAOHkzPR+mTC9bQowWMGc0fsX3rPcnKqdWffyog=

%URL%
https://www.cryptol.net

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1735938530

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

%MAKEDEPENDS%
ghc
uusi
alex
happy

