Sisyphus repository
Last update: 1 october 2023 | SRPMs: 18631 | Visits: 37549639
en ru br
ALT Linux repos
S:2.3.5-alt1_20jpp11
5.0: 2.0.0-alt1_7jpp6

Group :: Development/Java
RPM: sat4j

 Main   Changelog   Spec   Patches   Sources   Download   Gear   Bugs and FR  Repocop 

· 0001-Fix-runtime-classpath-and-minimum-BREE.patch 1680 b Download
· sat4j-core-Dimacs-nooverrides.patch 385 b Download
· sat4j-core-nooverrides.patch 420 b Download
 
design & coding: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
current maintainer: Michael Shigorin