blob: db497de73311dd50e33c139bdf5c1a37626ec62b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
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 = 2016_1
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/Isabelle2016-1_app.tar.gz
source = isabelle.desktop
md5sums = 7fbfd0af7ac722e3f961951106887f8a
md5sums = d33d0dd09e9105f4f043bd5e59458481
sha256sums = b9ac02fc086c7242a2424839d4daf9d4d24e9360fe3368fe20598758ab7b2cf0
sha256sums = 84b61a83692939ca9e08402f1c55a06e4ccac8941664435d20b0ef0ceed9f43a
pkgname = isabelle
|