Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/app-emacs/proofgeneral/proofgeneral-4.4.ebuild
Commit message (Collapse)AuthorAgeFilesLines
* app-emacs/proofgeneral: stable 4.4 for ppc, bug #697424Sergei Trofimovich2019-10-121-1/+1
| | | | | | Package-Manager: Portage-2.3.76, Repoman-2.3.17 RepoMan-Options: --include-arches="ppc" Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* app-emacs/proofgeneral: x86 stable wrt bug #697424Agostino Sarubbo2019-10-111-1/+1
| | | | | | Package-Manager: Portage-2.3.76, Repoman-2.3.16 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* app-emacs/proofgeneral: amd64 stable wrt bug #697424Agostino Sarubbo2019-10-111-1/+1
| | | | | | Package-Manager: Portage-2.3.76, Repoman-2.3.16 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* app-emacs/proofgeneral: Bump to version 4.4.Ulrich Müller2019-09-051-0/+59
Package-Manager: Portage-2.3.75, Repoman-2.3.17 Signed-off-by: Ulrich Müller <ulm@gentoo.org>