projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eb93355) | patch
app-emacs/proofgeneral: Bump to version 4.4.
authorUlrich Müller <ulm@gentoo.org>
Thu, 5 Sep 2019 14:37:29 +0000 (16:37 +0200)
committerUlrich Müller <ulm@gentoo.org>
Thu, 5 Sep 2019 15:05:08 +0000 (17:05 +0200)
commit0cc699e224d4923fdb05ee14d73c20dd0b09afe4
tree55f37f7b92ecf1d25ee1f28f3a1bdceaac938f3ctree | snapshot
parenteb933559440cf252b6a9a5a4ff63027033faee71commit | diff
app-emacs/proofgeneral: Bump to version 4.4.

Package-Manager: Portage-2.3.75, Repoman-2.3.17
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
app-emacs/proofgeneral/Manifest diff | blob | history
app-emacs/proofgeneral/files/proofgeneral-4.4-desktop.patch [new file with mode: 0644] blob
app-emacs/proofgeneral/files/proofgeneral-4.4-images-dir.patch [new file with mode: 0644] blob
app-emacs/proofgeneral/proofgeneral-4.4.ebuild [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.