Fri, 19 Apr 2024 21:52:12 UTC | login

Information for build rh-eclipse46-sat4j-2.3.5-8.2.el7

ID15006
Package Namerh-eclipse46-sat4j
Version2.3.5
Release8.2.el7
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 byhhorak
State complete
Volume DEFAULT
StartedFri, 02 Dec 2016 11:18:32 UTC
CompletedFri, 02 Dec 2016 11:24:14 UTC
Taskbuild (sclo7-rh-eclipse46-rh-el7, rh-eclipse46-sat4j-2.3.5-8.2.el7.src.rpm)
Tags
sclo7-rh-eclipse46-rh-candidate
sclo7-rh-eclipse46-rh-release
sclo7-rh-eclipse46-rh-testing
RPMs
src
rh-eclipse46-sat4j-2.3.5-8.2.el7.src.rpm (info) (download)
noarch
rh-eclipse46-sat4j-2.3.5-8.2.el7.noarch.rpm (info) (download)
Logs
noarch
root.log
build.log
state.log
Changelog * Fri Aug 12 2016 Mat Booth <mat.booth@redhat.com> - 2.3.5-8.2 - Ensure package requires SCL runtime * Thu Jul 21 2016 Mat Booth <mat.booth@redhat.com> - 2.3.5-8.1 - Auto SCL-ise package for rh-eclipse46 collection * Thu Feb 04 2016 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.5-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild * Tue Jul 14 2015 Mikolaj Izdebski <mizdebsk@redhat.com> - 2.3.5-7 - Add build-requires on javapackages-local * Mon Jun 22 2015 Mat Booth <mat.booth@redhat.com> - 2.3.5-6 - Remove SCL macros and tidy spec * Fri Jun 19 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.5-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild * Sun Jun 08 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.5-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild * Fri Feb 21 2014 Alexander Kurtakov <akurtako@redhat.com> 2.3.5-3 - Remove useless parts. - Require java-headless. * Sun Aug 04 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.5-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild * Wed May 29 2013 Krzysztof Daniel <kdaniel@redhat.com> 2.3.5-1 - Update to latest upstream. * Fri May 10 2013 Krzysztof Daniel <kdaniel@redhat.com> 2.3.4-1 - Update to latest upstream. * Wed Apr 17 2013 Krzysztof Daniel <kdaniel@redhat.com> 2.3.3-7 - Remove jars from source. * Fri Apr 05 2013 Krzysztof Daniel <kdaniel@redhat.com> 2.3.0-6 - Update to 2.3.3 - Initial sclization. * Thu Feb 14 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.0-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild * Sat Jul 21 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.0-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild * Sat Jan 14 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild * Thu Aug 25 2011 Andrew Overholt <overholt@redhat.com> 2.3.0-2 - Make 1.5-level bytecode. This enables bootstrapping of Eclipse with OpenJDK 7. * Mon Apr 04 2011 Chris Aniszczyk <zx@redhat.com> 2.3.0-1 - Update to 2.3.0. * Wed Feb 09 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.2.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild * Thu Jul 08 2010 Alexander Kurtakov <akurtako@redhat.com> 2.2.0-1 - Update to 2.2.0. * Tue Mar 30 2010 Andrew Overholt <overholt@redhat.com> 2.1.1-3 - Fix license tag * Fri Mar 26 2010 Alexander Kurtakov <akurtako@redhat.com> 2.1.1-2 - Switch to lzma tarball. - Remove classpath in manifest. * Sun Mar 07 2010 Alexander Kurtakov <akurtako@redhat.com> 2.1.1-1 - Update to 2.1.1. * Tue Aug 04 2009 Alexander Kurtakov <akurtako@redhat.com> 2.1.0-1 - Update to 2.1.0 final. * Wed Apr 08 2009 Alexander Kurtakov <akurtako@redhat.com> 2.1.0-0.1.rc2 - Update to 2.1.0.RC2. * Thu Feb 26 2009 Alexander Kurtakov <akurtako@redhat.com> 2.0.3-1 - Update to 2.0.3. * Wed Feb 25 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.0.0-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild * Thu Aug 28 2008 Andrew Overholt <overholt@redhat.com> 2.0.0-7 - eclipse_base is now libdir/eclipse * 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