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 5f8ba9479b Sync with portage [Sun Sep 18 12:40:42 MSK 2016].		8 years ago
..
minisat-2.2.0-header_fix.patch	Automatic update [Wed Nov 9 11:33:18 MSK 2011].	13 years ago
minisat-2.2.0_p20130925-nusmv.patch	Sync with portage [Sun Sep 18 12:40:42 MSK 2016].	8 years ago