blob: c6c8efb2a1e8f89d67bfd183a34d8d4c73ae1761 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
# Generated by mksrcinfo v8
# Sun Feb 21 11:34:18 UTC 2016
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 = 2016
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
source = http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2016_linux.tar.gz
source = isabelle.desktop
md5sums = d92c888eb61f7bd51917d5a79a0eb8c0
md5sums = d33d0dd09e9105f4f043bd5e59458481
sha256sums = 64f5357f638220a855311a604eaf8fc4bb7e703b7cf3ea997723ace875c6014a
sha256sums = 84b61a83692939ca9e08402f1c55a06e4ccac8941664435d20b0ef0ceed9f43a
pkgname = isabelle
|