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

%NAME%
cryptol-debug

%BASE%
cryptol

%VERSION%
3.0.0-44

%DESC%
Detached debugging symbols for cryptol

%CSIZE%
6291

%ISIZE%
12016

%MD5SUM%
e7addf0738b1c4f06b0a1f7a86957fb2

%SHA256SUM%
acc182f4352c6306af197893ce8bfcf512664da82252e9a5931784128e851c2a

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoET8ACgkQrx0hme8KPM8WLA/7Bo059SPaZmIKUmJ2aS412MO8PfxlvRMhy74U5FAhFLC19AFabW1RVOK9nM4cOe35xImSCjJg6i6/3aekRALv6P8U5BXTHg+PaYnFsE3GAUCWYaboYrdlY2K45xpQKlEQ17V6Sh3xIxycLDbUtPXIfrSdFcq6bxM5J5w9+MUbcjmkAizOLXEPV00SYRXuQu2eaBCjPvV3oViBYUr1a8Ma6ynxRN2V3YTmWYQJKoXEK/Sd8lDIuZdz1GSOXySIoQiOTzZRxq41VFqakXx6NkB/E8+Zgc+mBfVeehb8nKeoSK8QvxM1BNIhPPxowpMCgUMDs1Odd/XuABDa54vR/KcIpjEZAlG1UDraef18I9Vjgf4KZZQ0SU4m0rFYC78GE39LBcZt9C52dnJ4aERViDL7IcKw6PmfeWsd86rO0zQu2mTF15GaPTZzg1+X8Aq9lJ88azt4ezE13yJlnVdRlatNyD3iQ6ulCDuAnWjen7RsRcdEtjA8yt2z3mhTP/pWmFTZjShlL6krP1fw+j30tzS1o32U+aoyHObENoD/62LBvj/qhsXLawH8T9lJPKivS1wjpwZFSQHWZC8nNRizccnCA+Vy5mx5KWAFjQepWhUqxL/v6z9hElF65DUvN2jprKDDUGqC9smAquMHrvd0LXurf1FGVVtnE/mWtByILbXQSjA=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1707865698

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

%MAKEDEPENDS%
ghc
uusi
alex
happy

