IPv6 logo

You are connected to Repology using legacy IPv4 protocol. Due to IPv4 address exhaustion it may become too expensive or impossible for Repology to support IPv4 in the nearest future. We fully support actual version if the Internet Protocol, IPv6, and strongly advice you to get IPv6 connectivity as soon as possible too.

Versions Packages Information History Related Badges Report

Packages for proofgeneral

43 package(s) known

ProofGeneral

3.7.1 (3.7.1-alt1)

ProofGeneral

3.7.1 (3.7.1-alt1)

proofgeneral

4.4 (4.4-3)

proofgeneral-git

r8647.2626ed5 (r8647.2626ed5-1)
Debian Oldstable
oldstable/main

proofgeneral

4.4.1pre170114 (4.4.1~pre170114-1)
Debian Testing
testing/main

proofgeneral

4.4.1pre170114 (4.4.1~pre170114-1.2)
Deepin
main

proofgeneral

4.4.1pre170114 (4.4.1~pre170114-1)

proofgeneral

4.3pre131011 (4.3~pre131011-0.2)

proofgeneral

4.4.1pre170114 (4.4.1~pre170114-1)
Devuan 4.0 (Chimaera)
chimaera/main

proofgeneral

4.4.1pre170114 (4.4.1~pre170114-1.2)
Devuan Unstable
unstable/main

proofgeneral

4.4.1pre170114 (4.4.1~pre170114-1.2)
Fedora 26
release

emacs-common-proofgeneral

4.4 (4.4-2.fc26)
Fedora 27
release

emacs-common-proofgeneral

4.4 (4.4-3.fc27)
Fedora 28
release

emacs-common-proofgeneral

4.4 (4.4-6.fc28)
Fedora 29
release

emacs-common-proofgeneral

4.4 (4.4-7.fc29)
Fedora 30
release

emacs-common-proofgeneral

4.4 (4.4-8.fc30)
Fedora 31
release

emacs-common-proofgeneral

4.4 (4.4-9.fc31)
Fedora 32
release

emacs-common-proofgeneral

4.4 (4.4-10.fc32)

emacs-common-proofgeneral

4.4 (4.4-11.20200506gitea62543.fc33)
Funtoo 1.4
editors-kit

app-emacs/proofgeneral

4.2

app-emacs/proofgeneral

4.4

proofgeneral

4.4.1pre170114 (4.4.1~pre170114-1.2)

app-emacs/proofgeneral

4.4

app-emacs/proofgeneral

4.4

ProofGeneral

4.2
Pardus
main

proofgeneral

4.4.1pre170114 (4.4.1~pre170114-1)
Parrot
main

proofgeneral

4.4.1pre170114 (4.4.1~pre170114-1.2)

proofgeneral

4.4.1pre170114 (4.4.1~pre170114-1.2)

proofgeneral

4.4.1pre170114 (4.4.1~pre170114-1)

proofgeneral

4.4.1pre170114 (4.4.1~pre170114-1)

proofgeneral

4.4.1pre170114 (4.4.1~pre170114-1.2)
Trisquel 6.0
toutatis/main

proofgeneral

3.7 (3.7-4)
Trisquel 7.0
belenos/main

proofgeneral

4.3pre130510 (4.3~pre130510-1.1)
Trisquel 8.0
flidas/main

proofgeneral

4.3pre131011 (4.3~pre131011-0.2)
Ubuntu 12.04
precise/universe

proofgeneral

3.7 (3.7-4)
Ubuntu 14.04
trusty/universe

proofgeneral

4.3pre130510 (4.3~pre130510-1.1)
Ubuntu 16.04
xenial/universe

proofgeneral

4.3pre131011 (4.3~pre131011-0.2)
Ubuntu 18.04
bionic/universe

proofgeneral

4.4.1pre170114 (4.4.1~pre170114-1)
Ubuntu 19.10
eoan/universe

proofgeneral

4.4.1pre170114 (4.4.1~pre170114-1.1ubuntu1)
Ubuntu 20.04
focal/universe

proofgeneral

4.4.1pre170114 (4.4.1~pre170114-1.2)
Ubuntu 20.10
groovy/universe

proofgeneral

4.4.1pre170114 (4.4.1~pre170114-1.2)

ProofGeneral

4.4 (4.4_2)