You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
gentoo-overlay/app-emacs/proofgeneral/files
root 538c48ba19
Sync with portage [Sun Jul 15 15:36:46 MSK 2012].
13 years ago
..
50proofgeneral-gentoo.el Automatic update [Wed Nov 9 11:33:18 MSK 2011]. 13 years ago
proofgeneral-4.1-emacs-24.patch Sync with portage [Thu Dec 8 22:57:17 MSK 2011]. 13 years ago
proofgeneral-4.1-image-load-path.patch Sync with portage [Sun Jul 15 15:36:46 MSK 2012]. 13 years ago