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.

root 8de558d5b7 Sync with portage [Tue Apr 23 00:55:02 MSK 2013].		11 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].	12 years ago
proofgeneral-4.2-bytecomp-warn.patch	Sync with portage [Tue Apr 23 00:55:02 MSK 2013].	11 years ago