Search Criteria
Package Details: isabelle 2024-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: | 26 |
Popularity: | 0.018106 |
First Submitted: | 2014-06-07 09:32 (UTC) |
Last Updated: | 2024-06-23 11:38 (UTC) |
Dependencies (3)
- perl (perl-gitAUR)
- perl-libwww
- texlive-core (texlive-installerAUR, texlive-fullAUR, texlive-basic) (optional) – document preparation
Required by (5)
- hets-desktop (optional)
- hets-desktop-bin (optional)
- hets-server (optional)
- hets-server-bin (optional)
- isabelle-linter
Latest Comments
1 2 Next › Last »
specialfish commented on 2024-06-10 20:08 (UTC)
I think that the url should be migrated to
https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2024_linux.tar.gz
simona commented on 2024-06-08 14:33 (UTC)
can't find https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2023_linux.tar.gz
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)
1 2 Next › Last »