blob: e5988669b7ce7bee1f36c4eb6fb13434ade333d8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
pkgbase = isabelle-tum
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. Release mirror: TUM.
pkgver = 2021_1
pkgrel = 1
url = https://isabelle.in.tum.de/
arch = i686
arch = x86_64
groups = science
license = custom:BSD
depends = perl
depends = perl-libwww
optdepends = texlive-core: document preparation
conflicts = isabelle
source = https://isabelle.in.tum.de/dist/Isabelle2021-1_linux.tar.gz
source = isabelle.desktop
md5sums = 01bdd4e3fc2bd2a7b13d89405cc6b93f
md5sums = 63add57fc05e5334ad1582d07a0c7146
sha256sums = 315daab84713f9b59e5da0a2c0e9efa6656ef6bc5957b21294088d0727c3ca49
sha256sums = a619c0c48805f80862c4bb8f2448ce8f3d0bef7cebda7ef98a21bdd40a5652da
pkgname = isabelle-tum
|