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 3cf587ab30 Sync with portage [Sun Sep 18 12:41:10 MSK 2016].		8 years ago
..
minisat-2.2.0-header_fix.patch	Sync with portage [Mon Feb 6 16:39:48 MSK 2012].	13 years ago
minisat-2.2.0_p20130925-nusmv.patch	Sync with portage [Sun Sep 18 12:41:10 MSK 2016].	8 years ago