Fri, 16 Jan 2026 17:39:36 CST | login

Information for build Agda-2.6.4.3-2.oc9

ID45934
Package NameAgda
Version2.6.4.3
Release2.oc9
Epoch
DraftFalse
Sourcegit+https://gitee.com/opencloudos-stream/Agda.git?.#2d4abcd921bb297ccccda1c1262356159b86c3b1
SummaryA dependently typed functional programming language and proof assistant
DescriptionAgda is a dependently typed functional programming language: It has inductive families, which are similar to Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterized modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Idris, Lean and NuPRL. This package includes both a command-line program (agda) and an Emacs mode.
Built byepol-bot
State complete
Volume DEFAULT
StartedWed, 14 Jan 2026 15:05:17 CST
CompletedWed, 14 Jan 2026 16:00:43 CST
Taskbuild (dist-oc9-epol, /opencloudos-stream/Agda.git:.:origin/master)
Extra{'source': {'original_url': 'git+https://gitee.com/opencloudos-stream/Agda.git?.#origin/master'}}
Tags
dist-oc9-epol
dist-oc9-epol-compose
epol9-test-compose
RPMs
src
Agda-2.6.4.3-2.oc9.src.rpm (info) (download)
aarch64
Agda-2.6.4.3-2.oc9.aarch64.rpm (info) (download)
ghc-Agda-2.6.4.3-2.oc9.aarch64.rpm (info) (download)
ghc-Agda-devel-2.6.4.3-2.oc9.aarch64.rpm (info) (download)
ghc-murmur-hash-0.1.0.10-2.oc9.aarch64.rpm (info) (download)
ghc-murmur-hash-devel-0.1.0.10-2.oc9.aarch64.rpm (info) (download)
ghc-peano-0.1.0.2-2.oc9.aarch64.rpm (info) (download)
ghc-peano-devel-0.1.0.2-2.oc9.aarch64.rpm (info) (download)
ghc-vector-hashtables-0.1.2.0-2.oc9.aarch64.rpm (info) (download)
ghc-vector-hashtables-devel-0.1.2.0-2.oc9.aarch64.rpm (info) (download)
loongarch64
Agda-2.6.4.3-2.oc9.loongarch64.rpm (info) (download)
ghc-Agda-2.6.4.3-2.oc9.loongarch64.rpm (info) (download)
ghc-Agda-devel-2.6.4.3-2.oc9.loongarch64.rpm (info) (download)
ghc-murmur-hash-0.1.0.10-2.oc9.loongarch64.rpm (info) (download)
ghc-murmur-hash-devel-0.1.0.10-2.oc9.loongarch64.rpm (info) (download)
ghc-peano-0.1.0.2-2.oc9.loongarch64.rpm (info) (download)
ghc-peano-devel-0.1.0.2-2.oc9.loongarch64.rpm (info) (download)
ghc-vector-hashtables-0.1.2.0-2.oc9.loongarch64.rpm (info) (download)
ghc-vector-hashtables-devel-0.1.2.0-2.oc9.loongarch64.rpm (info) (download)
noarch
Agda-common-2.6.4.3-2.oc9.noarch.rpm (info) (download)
ghc-Agda-doc-2.6.4.3-2.oc9.noarch.rpm (info) (download)
ghc-murmur-hash-doc-0.1.0.10-2.oc9.noarch.rpm (info) (download)
ghc-peano-doc-0.1.0.2-2.oc9.noarch.rpm (info) (download)
ghc-vector-hashtables-doc-0.1.2.0-2.oc9.noarch.rpm (info) (download)
x86_64
Agda-2.6.4.3-2.oc9.x86_64.rpm (info) (download)
ghc-Agda-2.6.4.3-2.oc9.x86_64.rpm (info) (download)
ghc-Agda-devel-2.6.4.3-2.oc9.x86_64.rpm (info) (download)
ghc-murmur-hash-0.1.0.10-2.oc9.x86_64.rpm (info) (download)
ghc-murmur-hash-devel-0.1.0.10-2.oc9.x86_64.rpm (info) (download)
ghc-peano-0.1.0.2-2.oc9.x86_64.rpm (info) (download)
ghc-peano-devel-0.1.0.2-2.oc9.x86_64.rpm (info) (download)
ghc-vector-hashtables-0.1.2.0-2.oc9.x86_64.rpm (info) (download)
ghc-vector-hashtables-devel-0.1.2.0-2.oc9.x86_64.rpm (info) (download)
Logs
x86_64
mock_config.log
installed_pkgs.log
dnf.rpm.log
mock_output.log
build.log
dnf.librepo.log
dnf.log
hw_info.log
state.log
root.log
noarch_rpmdiff.json
aarch64
dnf.rpm.log
hw_info.log
dnf.log
root.log
dnf.librepo.log
installed_pkgs.log
build.log
mock_config.log
mock_output.log
state.log
noarch_rpmdiff.json
loongarch64
state.log
build.log
root.log
hw_info.log
installed_pkgs.log
mock_output.log
noarch_rpmdiff.json
Changelog * Tue Jan 13 2026 bbrucezhang <bbrucezhang@tencent.com> - 2.6.4.3-2 - [Type] sync - [DESC] Update to 2.6.4.3 * Mon May 26 2025 bbrucezhang <bbrucezhang@tencent.com> - 2.6.3-2 - Rebuilt for loongarch64 * Thu Apr 11 2024 OpenCloudOS Release Engineering <releng@opencloudos.tech> - 2.6.3-1 - initial build