Package Details: isabelle 2024-1

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.004349
First Submitted: 2014-06-07 09:32 (UTC)
Last Updated: 2024-06-23 11:38 (UTC)

Latest Comments

1 2 Next › Last »

Poscat commented on 2025-01-29 06:44 (UTC)

Do you mind adding a desktop file for isabelle/vscode? Just replace isabelle jedit with isabelle vscode should work.

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:

  • /opt/isabelle/contrib/polyml-5.8/src/libpolyml/libffi/generate-ios-source-and-headers.py
  • /opt/isabelle/contrib/polyml-5.8/src/libpolyml/libffi/generate-osx-source-and-headers.py

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

1 2 Next › Last »