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 18a6d09b76 Sync with portage [Sat Sep 7 22:52:10 MSK 2019].		5 years ago
..
50proofgeneral-gentoo.el	Automatic update [Wed Nov 9 11:33:18 MSK 2011].	13 years ago
proofgeneral-4.2-bytecomp-warn.patch	Sync with portage [Tue Apr 23 00:55:02 MSK 2013].	11 years ago
proofgeneral-4.4-desktop.patch	Sync with portage [Sat Sep 7 22:52:10 MSK 2019].	5 years ago
proofgeneral-4.4-images-dir.patch	Sync with portage [Sat Sep 7 22:52:10 MSK 2019].	5 years ago