Wed, 29 Nov 2006 17:34:29 +0000Configuration files for soplex
deba [Wed, 29 Nov 2006 17:34:29 +0000] rev 2315
Configuration files for soplex

Wed, 29 Nov 2006 17:32:03 +0000checking soplex
deba [Wed, 29 Nov 2006 17:32:03 +0000] rev 2314
checking soplex