Search Criteria
Package Details: isabelle 2023-1
Package Actions
Git Clone URL: | https://aur.archlinux.org/isabelle.git (read-only, click to copy) |
---|---|
Package Base: | isabelle |
Description: | 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. |
Upstream URL: | https://www.cl.cam.ac.uk/research/hvg/Isabelle/ |
Licenses: | custom:BSD |
Groups: | science |
Submitter: | bitwave |
Maintainer: | bitwave |
Last Packager: | bitwave |
Votes: | 25 |
Popularity: | 0.000002 |
First Submitted: | 2014-06-07 09:32 (UTC) |
Last Updated: | 2023-09-18 11:16 (UTC) |
Dependencies (3)
- perl (perl-gitAUR)
- perl-libwww
- texlive-core (texlive-fullAUR, texlive-installerAUR, texlive-basic) (optional) – document preparation
Required by (4)
- hets-desktop (optional)
- hets-desktop-bin (optional)
- hets-server (optional)
- hets-server-bin (optional)
Latest Comments
1 2 Next › Last »
thestr4ng3r commented on 2020-07-04 08:37 (UTC)
The name of this package should be "isabelle-bin", as stated in https://wiki.archlinux.org/index.php/AUR_submission_guidelines#Rules_of_submission "Packages that use prebuilt deliverables, when the sources are available, must use the -bin suffix."
MW360 commented on 2020-06-11 12:50 (UTC)
Until the maintainer updates the PKGBUILD you can update it yourself with the following checksums or just use my package: isabelle-tum.
md5sums=('7c69d3aa39116cd4a91ad1592a0431e1' '63add57fc05e5334ad1582d07a0c7146')
brettgilio commented on 2020-03-27 18:07 (UTC)
Building isabelle... ==> Making package: isabelle 2019-1 (Fri 27 Mar 2020 01:04:42 PM CDT) ==> Checking runtime dependencies... ==> Checking buildtime dependencies... ==> Retrieving sources... -> Found Isabelle2019_linux.tar.gz -> Found isabelle.desktop ==> Validating source files with md5sums... Isabelle2019_linux.tar.gz ... FAILED isabelle.desktop ... Passed ==> ERROR: One or more files did not pass the validity check! Failed to build isabelle
simonzack commented on 2020-03-07 12:27 (UTC) (edited on 2020-03-07 12:29 (UTC) by simonzack)
Is this dependent on python 2? It appears that the only .py files are:
Mac isn't relevant to Arch Linux.
simonzack commented on 2020-01-05 06:55 (UTC)
I cannot find anywhere in the docs where this requires python 2. This is one of the few packages that still has it marked as a dependency, which might not be a dependency at all?
thestr4ng3r commented on 2019-10-27 08:25 (UTC)
Is python2 really required? It seems to work fine for me without having it installed.
Jesko commented on 2019-06-11 18:01 (UTC) (edited on 2019-06-11 18:18 (UTC) by Jesko)
Hi, there is a new version of isabelle. I modified the pkgbuild. The year and name of the tar changed.
https://pastebin.com/7M1X48qT
snape3058 commented on 2017-01-10 10:13 (UTC)
cloud-oak commented on 2016-12-22 15:38 (UTC) (edited on 2016-12-22 15:45 (UTC) by cloud-oak)
andrewchen commented on 2015-07-25 10:13 (UTC) (edited on 2016-03-02 05:04 (UTC) by andrewchen)
1 2 Next › Last »