.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

pkgbase = isabelle
	pkgdesc = A generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus.
	pkgver = 2025
	pkgrel = 1
	url = https://www.cl.cam.ac.uk/research/hvg/Isabelle/
	arch = i686
	arch = x86_64
	groups = science
	license = custom:BSD
	depends = perl
	depends = perl-libwww
	optdepends = texlive-core: document preparation
	optdepends = lib32-glibc: for improved performance of Poly/ML on x86_64 machines
	optdepends = lib32-gcc-libs: for improved performance of Poly/ML on x86_64 machines
	source = https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2025_linux.tar.gz
	source = isabelle.desktop
	sha256sums = 3d1d66de371823fe31aa8ae66638f73575bac244f00b31aee1dcb62f38147c56
	sha256sums = 84b61a83692939ca9e08402f1c55a06e4ccac8941664435d20b0ef0ceed9f43a

pkgname = isabelle