blob: 83b80f63ef69db9403c371dba921671a0a204d4c (
plain)
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 = 2019
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
depends = python2
optdepends = texlive-core: document preparation
source = https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2019_linux.tar.gz
source = isabelle.desktop
md5sums = 475b5be365477bf2ed035eeaf780c07e
md5sums = d33d0dd09e9105f4f043bd5e59458481
pkgname = isabelle
|