Package | Summary | Distribution | Download |
emacs-common-proofgeneral-4.5-7.fc40.noarch.html | Emacs mode for standard interaction interface for proof assistants | Fedora Rawhide for x86_64 | emacs-common-proofgeneral-4.5-7.fc40.noarch.rpm |
emacs-common-proofgeneral-4.5-7.fc40.noarch.html | Emacs mode for standard interaction interface for proof assistants | Fedora Rawhide for aarch64 | emacs-common-proofgeneral-4.5-7.fc40.noarch.rpm |
emacs-common-proofgeneral-4.5-7.fc40.noarch.html | Emacs mode for standard interaction interface for proof assistants | Fedora Rawhide for ppc64le | emacs-common-proofgeneral-4.5-7.fc40.noarch.rpm |
emacs-common-proofgeneral-4.5-7.fc40.noarch.html | Emacs mode for standard interaction interface for proof assistants | Fedora Rawhide for s390x | emacs-common-proofgeneral-4.5-7.fc40.noarch.rpm |
emacs-common-proofgeneral-4.5-7.fc40.noarch.html | Emacs mode for standard interaction interface for proof assistants | Fedora 40 for x86_64 | emacs-common-proofgeneral-4.5-7.fc40.noarch.rpm |
emacs-common-proofgeneral-4.5-7.fc40.noarch.html | Emacs mode for standard interaction interface for proof assistants | Fedora 40 for aarch64 | emacs-common-proofgeneral-4.5-7.fc40.noarch.rpm |
emacs-common-proofgeneral-4.5-7.fc40.noarch.html | Emacs mode for standard interaction interface for proof assistants | Fedora 40 for ppc64le | emacs-common-proofgeneral-4.5-7.fc40.noarch.rpm |
emacs-common-proofgeneral-4.5-7.fc40.noarch.html | Emacs mode for standard interaction interface for proof assistants | Fedora 40 for s390x | emacs-common-proofgeneral-4.5-7.fc40.noarch.rpm |
emacs-common-proofgeneral-4.5-5.fc39.noarch.html | Emacs mode for standard interaction interface for proof assistants | Fedora 39 for x86_64 | emacs-common-proofgeneral-4.5-5.fc39.noarch.rpm |
emacs-common-proofgeneral-4.5-5.fc39.noarch.html | Emacs mode for standard interaction interface for proof assistants | Fedora 39 for aarch64 | emacs-common-proofgeneral-4.5-5.fc39.noarch.rpm |
emacs-common-proofgeneral-4.5-5.fc39.noarch.html | Emacs mode for standard interaction interface for proof assistants | Fedora 39 for ppc64le | emacs-common-proofgeneral-4.5-5.fc39.noarch.rpm |
emacs-common-proofgeneral-4.5-5.fc39.noarch.html | Emacs mode for standard interaction interface for proof assistants | Fedora 39 for s390x | emacs-common-proofgeneral-4.5-5.fc39.noarch.rpm |
emacs-common-proofgeneral-4.5-4.fc38.noarch.html | Emacs mode for standard interaction interface for proof assistants | Fedora 38 for x86_64 | emacs-common-proofgeneral-4.5-4.fc38.noarch.rpm |
emacs-common-proofgeneral-4.5-4.fc38.noarch.html | Emacs mode for standard interaction interface for proof assistants | Fedora 38 for aarch64 | emacs-common-proofgeneral-4.5-4.fc38.noarch.rpm |
emacs-common-proofgeneral-4.5-4.fc38.noarch.html | Emacs mode for standard interaction interface for proof assistants | Fedora 38 for ppc64le | emacs-common-proofgeneral-4.5-4.fc38.noarch.rpm |
emacs-common-proofgeneral-4.5-4.fc38.noarch.html | Emacs mode for standard interaction interface for proof assistants | Fedora 38 for s390x | emacs-common-proofgeneral-4.5-4.fc38.noarch.rpm |
emacs-common-proofgeneral-4.5-3.fc37.noarch.html | Emacs mode for standard interaction interface for proof assistants | Fedora 37 updates for x86_64 | emacs-common-proofgeneral-4.5-3.fc37.noarch.rpm |
emacs-common-proofgeneral-4.5-3.fc37.noarch.html | Emacs mode for standard interaction interface for proof assistants | Fedora 37 updates for aarch64 | emacs-common-proofgeneral-4.5-3.fc37.noarch.rpm |
emacs-common-proofgeneral-4.5-3.fc37.noarch.html | Emacs mode for standard interaction interface for proof assistants | Fedora 37 updates for armhfp | emacs-common-proofgeneral-4.5-3.fc37.noarch.rpm |
emacs-common-proofgeneral-4.5-2.fc37.noarch.html | Emacs mode for standard interaction interface for proof assistants | Fedora 37 for x86_64 | emacs-common-proofgeneral-4.5-2.fc37.noarch.rpm |
emacs-common-proofgeneral-4.5-2.fc37.noarch.html | Emacs mode for standard interaction interface for proof assistants | Fedora 37 for aarch64 | emacs-common-proofgeneral-4.5-2.fc37.noarch.rpm |
emacs-common-proofgeneral-4.5-2.fc37.noarch.html | Emacs mode for standard interaction interface for proof assistants | Fedora 37 for ppc64le | emacs-common-proofgeneral-4.5-2.fc37.noarch.rpm |
emacs-common-proofgeneral-4.5-2.fc37.noarch.html | Emacs mode for standard interaction interface for proof assistants | Fedora 37 for s390x | emacs-common-proofgeneral-4.5-2.fc37.noarch.rpm |