Hi, * Michael Tautschnig <[EMAIL PROTECTED]> [2008-07-21 17:29]: > > Actually, I'm about to package sat4j [0], but haven't fully succeeded yet.
Feel free to look at my Fedora packages (and suggest improvements :): http://cvs.fedoraproject.org/viewcvs/rpms/sat4j/devel/ Also, Daniel (upstream) asked me to package 2.0.2 when he releases it soon as that will contain all of the tests and data (so they can all be run) and a few other cleanups. HTH, Andrew -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
