Wed, 21 Jan 2026 17:09:02 CST | login

Information for build sat4j-2.3.5-6.ocs23

ID19991
Package Namesat4j
Version2.3.5
Release6.ocs23
Epoch
Sourcegit+https://gitee.com/opencloudos-stream/sat4j.git?.#8a7fd0f66fde306be4bfe2c7e9e42ba7034b125a
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 byocs-bot
State complete
Volume DEFAULT
StartedThu, 26 Sep 2024 19:04:16 CST
CompletedThu, 26 Sep 2024 19:13:12 CST
Taskbuild (dist-ocs23-base, /opencloudos-stream/sat4j.git:.:origin/master)
Extra{'source': {'original_url': 'git+https://gitee.com/opencloudos-stream/sat4j.git?.#origin/master'}}
Tags No tags
RPMs
src
sat4j-2.3.5-6.ocs23.src.rpm (info) (download)
noarch
sat4j-2.3.5-6.ocs23.noarch.rpm (info) (download)
Logs
noarch
installed_pkgs.log
build.log
state.log
hw_info.log
root.log
mock_output.log
noarch_rpmdiff.json
Changelog * Thu Sep 26 2024 OpenCloudOS Release Engineering <releng@opencloudos.tech> - 2.3.5-6 - Rebuilt for clarifying the packages requirement in BaseOS and AppStream * Fri Aug 16 2024 OpenCloudOS Release Engineering <releng@opencloudos.tech> - 2.3.5-5 - Rebuilt for loongarch release * Fri Sep 08 2023 OpenCloudOS Release Engineering <releng@opencloudos.tech> - 2.3.5-4 - Rebuilt for OpenCloudOS Stream 23.09 * 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