Information for build sat4j-2.3.5-3.oc9

ID16627
Package Namesat4j
Version2.3.5
Release3.oc9
Epoch
Sourcegit+https://gitee.com/src-opencloudos-rpms/sat4j.git?.#03b848b80bddef1231475180c02b7519d726fa93
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 bydenisecheng
State complete
Volume DEFAULT
StartedThu, 21 Sep 2023 20:08:45 CST
CompletedThu, 21 Sep 2023 20:11:12 CST
Taskbuild (dist-oc9, /src-opencloudos-rpms/sat4j.git:.:origin/oc9)
Extra{'source': {'original_url': 'git+https://gitee.com/src-opencloudos-rpms/sat4j.git?.#origin/oc9'}}
Tags
dist-oc9
dist-oc9-compose
RPMs
src
sat4j-2.3.5-3.oc9.src.rpm (info) (download)
noarch
sat4j-2.3.5-3.oc9.noarch.rpm (info) (download)
Logs
noarch
state.log
installed_pkgs.log
build.log
root.log
hw_info.log
mock_output.log
noarch_rpmdiff.json
Changelog * Fri Apr 28 2023 OpenCloudOS Release Engineering <releng@opencloudos.tech> - 2.3.5-3 - Rebuilt for OpenCloudOS Stream 23.05 * Fri Mar 31 2023 OpenCloudOS Release Engineering <releng@opencloudos.tech> - 2.3.5-2 - Rebuilt for OpenCloudOS Stream 23 * Tue Mar 28 2023 cunshunxia <cunshunxia@tencent.com> - 2.3.5-1 - initial build