Information for build Agda-2.6.3-1.oc9

ID24868
Package NameAgda
Version2.6.3
Release1.oc9
Epoch
Sourcegit+https://gitee.com/opencloudos-stream/Agda.git?.#834d571ccc6541b82731dd2860b07e8bcb6c6309
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.
Built byfanjunkong
State complete
Volume DEFAULT
StartedFri, 02 Aug 2024 17:55:37 CST
CompletedFri, 02 Aug 2024 18:08:48 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.3-1.oc9.src.rpm (info) (download)
aarch64
Agda-2.6.3-1.oc9.aarch64.rpm (info) (download)
ghc-Agda-2.6.3-1.oc9.aarch64.rpm (info) (download)
ghc-Agda-devel-2.6.3-1.oc9.aarch64.rpm (info) (download)
ghc-murmur-hash-0.1.0.10-1.oc9.aarch64.rpm (info) (download)
ghc-murmur-hash-devel-0.1.0.10-1.oc9.aarch64.rpm (info) (download)
ghc-vector-hashtables-0.1.1.3-1.oc9.aarch64.rpm (info) (download)
ghc-vector-hashtables-devel-0.1.1.3-1.oc9.aarch64.rpm (info) (download)
noarch
Agda-common-2.6.3-1.oc9.noarch.rpm (info) (download)
ghc-Agda-doc-2.6.3-1.oc9.noarch.rpm (info) (download)
ghc-murmur-hash-doc-0.1.0.10-1.oc9.noarch.rpm (info) (download)
ghc-vector-hashtables-doc-0.1.1.3-1.oc9.noarch.rpm (info) (download)
x86_64
Agda-2.6.3-1.oc9.x86_64.rpm (info) (download)
ghc-Agda-2.6.3-1.oc9.x86_64.rpm (info) (download)
ghc-Agda-devel-2.6.3-1.oc9.x86_64.rpm (info) (download)
ghc-murmur-hash-0.1.0.10-1.oc9.x86_64.rpm (info) (download)
ghc-murmur-hash-devel-0.1.0.10-1.oc9.x86_64.rpm (info) (download)
ghc-vector-hashtables-0.1.1.3-1.oc9.x86_64.rpm (info) (download)
ghc-vector-hashtables-devel-0.1.1.3-1.oc9.x86_64.rpm (info) (download)
Logs
x86_64
root.log
build.log
installed_pkgs.log
state.log
hw_info.log
mock_output.log
noarch_rpmdiff.json
aarch64
state.log
installed_pkgs.log
build.log
root.log
hw_info.log
mock_output.log
noarch_rpmdiff.json
Changelog * Thu Apr 11 2024 OpenCloudOS Release Engineering <releng@opencloudos.tech> - 2.6.3-1 - initial build