Versions Packages Information History Related Badges Report

Packages for proofgeneral

42 package(s) known

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.1)
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 Unstable
unstable/main

proofgeneral

4.4.1pre170114 (4.4.1~pre170114-1.1)

proofgeneral-emacs26

4.1 (4.1_14)

proofgeneral-emacs26_canna

4.1 (4.1_14)

proofgeneral-emacs27

4.1 (4.1_14)
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)

emacs-common-proofgeneral

4.4 (4.4-9.fc31)

proofgeneral-emacs26

4.1 (4.1_14)

proofgeneral-emacs26_canna

4.1 (4.1_14)

proofgeneral-emacs27

4.1 (4.1_14)
Funtoo 1.3
editors-kit

proofgeneral

4.2

proofgeneral

4.2

proofgeneral

4.4.1pre170114 (4.4.1~pre170114-1.1)

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.1)

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.1)
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 18.10
cosmic/universe

proofgeneral

4.4.1pre170114 (4.4.1~pre170114-1)
Ubuntu 19.04
disco/universe

proofgeneral

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

proofgeneral

4.4.1pre170114 (4.4.1~pre170114-1.1)

ProofGeneral

4.4 (4.4_2)