%FILENAME%
isabelle-debug-2025-2-x86_64.pkg.tar.zst

%NAME%
isabelle-debug

%BASE%
isabelle

%VERSION%
2025-2

%DESC%
Detached debugging symbols for isabelle

%CSIZE%
11653797

%ISIZE%
69558864

%SHA256SUM%
2cbad438652087845e7dc49a60d149261b094bfa6ec3b6523c45e9f26687f8fe

%URL%
https://www.cl.cam.ac.uk/research/hvg/Isabelle/

%LICENSE%
custom:BSD

%ARCH%
x86_64

%BUILDDATE%
1758175277

%PACKAGER%
lilac (on behalf of poscat) <poscat0x04@outlook.com>

