gprolog-1.5.0-3.oc9 | Build Info

Information for build gprolog-1.5.0-3.oc9

37380

Package Name

gprolog

Version

1.5.0

Release

3.oc9

Epoch

Draft

False

Source

git+https://gitee.com/opencloudos-stream/gprolog.git?.#ad3ac13232f22d89bd7fa97479c7fdc56ce5f189

Summary

GNU Prolog is a free Prolog compiler

Description

GNU Prolog is a native Prolog compiler with constraint solving over finite domains (FD) developed by Daniel Diaz (http://loco.inria.fr/~diaz). GNU Prolog is a very efficient native compiler producing (small) stand-alone executables. GNU-Prolog also offers a classical top-level+debugger. GNU Prolog conforms to the ISO standard for Prolog but also includes a lot of extensions (global variables, DCG, sockets, OS interface,...). GNU Prolog also includes a powerful constraint solver over finite domains with many predefined constraints+heuristics.

Built by

bbrucezhang

State

complete

Volume

DEFAULT

Started

Fri, 13 Jun 2025 04:59:40 CST

Completed

Fri, 13 Jun 2025 05:02:23 CST

Task

build (dist-oc9-epol, /opencloudos-stream/gprolog.git:.:origin/master)

Extra

{'source': {'original_url': 'git+https://gitee.com/opencloudos-stream/gprolog.git?.#origin/master'}}

Tags

dist-oc9-epol

dist-oc9-epol-compose

RPMs

src
	gprolog-1.5.0-3.oc9.src.rpm (info) (download)
aarch64
	gprolog-1.5.0-3.oc9.aarch64.rpm (info) (download)
	gprolog-docs-1.5.0-3.oc9.aarch64.rpm (info) (download)
	gprolog-debuginfo-1.5.0-3.oc9.aarch64.rpm (info) (download)
	gprolog-debugsource-1.5.0-3.oc9.aarch64.rpm (info) (download)
x86_64
	gprolog-1.5.0-3.oc9.x86_64.rpm (info) (download)
	gprolog-docs-1.5.0-3.oc9.x86_64.rpm (info) (download)
	gprolog-debuginfo-1.5.0-3.oc9.x86_64.rpm (info) (download)
	gprolog-debugsource-1.5.0-3.oc9.x86_64.rpm (info) (download)

Logs

x86_64
	dnf.rpm.log
	build.log
	dnf.librepo.log
	hw_info.log
	dnf.log
	mock_output.log
	state.log
	root.log
	installed_pkgs.log
	mock_config.log
aarch64
	root.log
	mock_config.log
	dnf.rpm.log
	hw_info.log
	installed_pkgs.log
	mock_output.log
	dnf.log
	state.log
	build.log
	dnf.librepo.log

Changelog

* Mon Jun 09 2025 bbrucezhang <bbrucezhang@tencent.com> - 1.5.0-3 - Rebuilt for loongarch64 * Tue May 07 2024 Fanjun Kong <fanjunkong@tencent.com> - 1.5.0-2 - epol debrand * Fri Apr 12 2024 OpenCloudOS Release Engineering <releng@opencloudos.tech> - 1.5.0-1 - initial build

Main Site Links:

Information for build gprolog-1.5.0-3.oc9