Thu, 02 May 2024 17:43:18 UTC | login

Information for build sat4j-2.3.5-23.el9sopt_901

ID48424
Package Namesat4j
Version2.3.5
Release23.el9sopt_901
Epoch
Sourcegit+https://gitlab.com/redhat/centos-stream/rpms/sat4j#85ea51c6e29a46feb18b90f912e0b3b91f527655
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 bytdawson
State complete
Volume DEFAULT
StartedThu, 15 Jun 2023 01:46:43 UTC
CompletedThu, 15 Jun 2023 02:00:46 UTC
Taskbuild (isa9s-packages-optimized-el9sopt, /redhat/centos-stream/rpms/sat4j:85ea51c6e29a46feb18b90f912e0b3b91f527655)
Extra{'source': {'original_url': 'git+https://gitlab.com/redhat/centos-stream/rpms/sat4j#85ea51c6e29a46feb18b90f912e0b3b91f527655'}}
Tags
isa9s-packages-optimized-candidate
isa9s-packages-optimized-testing
RPMs
src
sat4j-2.3.5-23.el9sopt_901.src.rpm (info) (download)
noarch
sat4j-2.3.5-23.el9sopt_901.noarch.rpm (info) (download)
Logs
noarch
root.log
hw_info.log
installed_pkgs.log
mock_output.log
build.log
noarch_rpmdiff.json
state.log
Changelog * Tue Aug 10 2021 Mohan Boddu <mboddu@redhat.com> - 2.3.5-23 - Rebuilt for IMA sigs, glibc 2.34, aarch64 flags Related: rhbz#1991688 * Fri Apr 16 2021 Mohan Boddu <mboddu@redhat.com> - 2.3.5-22 - Rebuilt for RHEL 9 BETA on Apr 15th 2021. Related: rhbz#1947937 * Wed Jan 27 2021 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.5-21 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Wed Jul 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.5-20 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Sat Jul 11 2020 Jiri Vanek <jvanek@redhat.com> - 2.3.5-19 - Rebuilt for JDK-11, see https://fedoraproject.org/wiki/Changes/Java11 * Thu Jun 18 2020 Mat Booth <mat.booth@redhat.com> - 2.3.5-18 - Allow building on Java 11 * Thu Jan 30 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.5-17 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild