Wed, 28 Jan 2015 04:10:40 UTC | login

Information for build sat4j-2.0.0-6.fc10

ID56190
Package Namesat4j
Version2.0.0
Release6.fc10
Epoch
SummaryA library of SAT solvers written in Java
DescriptionThe aim of the SAT4J library is to provide an efficient library of SAT solvers in Java. The SAT4J library targets first users of SAT "black boxes", those willing to embed SAT technologies into their application without worrying about the details.
Built byoverholt
State complete
StartedTue, 15 Jul 2008 18:16:50 UTC
CompletedTue, 15 Jul 2008 18:37:40 UTC
Taskbuild (dist-f10, /cvs/pkgs:rpms/sat4j/devel:sat4j-2_0_0-6_fc10)
Tags
f10-alpha
RPMs
src
sat4j-2.0.0-6.fc10.src.rpm (info) (download)
noarch (build logs)
sat4j-2.0.0-6.fc10.noarch.rpm (info) (download)
Changelog * Tue Jul 15 2008 Andrew Overholt <overholt@redhat.com> 2.0.0-6 - Build with OpenJDK (java.util.Scanner) * Tue Jul 15 2008 Andrew Overholt <overholt@redhat.com> 2.0.0-5 - Use sed instead of dos2unix * Mon Jul 14 2008 Andrew Overholt <overholt@redhat.com> 2.0.0-4 - Remove jmock JARs - Don't run tests as part of build * Mon Jul 14 2008 Andrew Overholt <overholt@redhat.com> 2.0.0-3 - Remove Class-Path from pb MANIFEST.MF * Mon Jul 14 2008 Andrew Overholt <overholt@redhat.com> 2.0.0-2 - Add eclipse-pde BR for pdebuild script * Fri Jun 27 2008 Andrew Overholt <overholt@redhat.com> 2.0.0-1 - 2.0.0 - Run tests * Thu Mar 13 2008 Andrew Overholt <overholt@redhat.com> 2.0-0.1.RC5 - Initial version