%FILENAME%
isabelle-debug-2025_2-1-x86_64.pkg.tar.zst

%NAME%
isabelle-debug

%BASE%
isabelle

%VERSION%
2025_2-1

%DESC%
Detached debugging symbols for isabelle

%CSIZE%
3567769

%ISIZE%
21058528

%SHA256SUM%
3c1c6ad9aa83c6031fa0c7e39fbea1f3e503b0688dfc3db88ebee7926716a17d

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

%LICENSE%
custom:BSD

%ARCH%
x86_64

%BUILDDATE%
1769603711

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

