# Generated by makepkg 7.1.0
# using fakeroot version 1.37.2
pkgname = isabelle-debug
pkgbase = isabelle
xdata = pkgtype=debug
pkgver = 2025_2-1
pkgdesc = Detached debugging symbols for isabelle
url = https://www.cl.cam.ac.uk/research/hvg/Isabelle/
builddate = 1769603711
packager = lilac (on behalf of poscat) <poscat0x04@outlook.com>
size = 21058528
arch = x86_64
license = custom:BSD
