blob: 397649d4f1dd93b7331e67442d251ccdf1354a2b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
pkgbase = isabelle
pkgdesc = Isabelle is 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 = 2015
pkgrel = 1
url = http://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
provides = isabelle
conflicts = isabelle
source = http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2015_linux.tar.gz
md5sums = da5b4ca16cd0c83418514a5ea7ebec77
sha256sums = c2a0dee5eb698b4a7f2fa785316e32682d67c36aabbc1f683cbca2860aa9788e
pkgname = isabelle
|