DEFINED_PHASES=install postinst postrm preinst prepare
DESCRIPTION=Generic proof assistant with higher-order logic
EAPI=8
HOMEPAGE=https://isabelle.in.tum.de/overview.html
KEYWORDS=-* ~amd64
LICENSE=BSD Apache-2.0 BitstreamVera BSD-2 CPL-1.0 EPL-1.0 GPL-2 GPL-2+ GPL-3 GPL-3-with-openssl-exception LGPL-2.1+ LPPL-1.3c MIT public-domain
RDEPEND=!sci-mathematics/isabelle app-accessibility/at-spi2-core:2 app-crypt/libsecret dev-libs/expat dev-libs/glib:2 dev-libs/nspr dev-libs/nss media-libs/alsa-lib media-libs/mesa net-print/cups sys-apps/dbus sys-libs/zlib virtual/latex-base x11-libs/cairo x11-libs/gtk+:3 x11-libs/libX11 x11-libs/libXcomposite x11-libs/libXdamage x11-libs/libXext x11-libs/libXfixes x11-libs/libXi x11-libs/libXrandr x11-libs/libXrender x11-libs/libXtst x11-libs/libdrm x11-libs/libxcb x11-libs/libxkbcommon x11-libs/libxkbfile x11-libs/pango
RESTRICT=test
SLOT=0
SRC_URI=amd64? ( https://isabelle.in.tum.de/dist/Isabelle2023_linux.tar.gz ) arm64? ( https://isabelle.in.tum.de/dist/Isabelle2023_linux_arm.tar.gz )
_eclasses_=desktop	3a72ffe0d8e1dd73af3a1c8c15a59fed	wrapper	11a2a3bd712784986679b60a0cab34a0	xdg	3ef49a87c52c8b77c476351195dfe575	xdg-utils	42869b3c8d86a70ef3cf75165a395e09
_md5_=942cb19b8dcbca6400d0ea93bbc05120