Agda-2.6.3-1.ocs23 | Build Info

Information for build Agda-2.6.3-1.ocs23

7401

Package Name

Agda

Version

2.6.3

Release

1.ocs23

Epoch

Source

git+https://gitee.com/opencloudos-stream/Agda.git?.#834d571ccc6541b82731dd2860b07e8bcb6c6309

Summary

A dependently typed functional programming language and proof assistant

Description

Agda 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 by

bbrucezhang

State

complete

Volume

DEFAULT

Started

Wed, 19 Jun 2024 11:20:11 CST

Completed

Wed, 19 Jun 2024 11:32:30 CST

Task

build (dist-ocs23-epol9, /opencloudos-stream/Agda.git:.:origin/master)

Extra

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

Tags

dist-ocs23

dist-ocs23-epol9

epol9-test-compose

RPMs

src
	Agda-2.6.3-1.ocs23.src.rpm (info) (download)
aarch64
	Agda-2.6.3-1.ocs23.aarch64.rpm (info) (download)
	ghc-Agda-2.6.3-1.ocs23.aarch64.rpm (info) (download)
	ghc-Agda-devel-2.6.3-1.ocs23.aarch64.rpm (info) (download)
	ghc-murmur-hash-0.1.0.10-1.ocs23.aarch64.rpm (info) (download)
	ghc-murmur-hash-devel-0.1.0.10-1.ocs23.aarch64.rpm (info) (download)
	ghc-vector-hashtables-0.1.1.3-1.ocs23.aarch64.rpm (info) (download)
	ghc-vector-hashtables-devel-0.1.1.3-1.ocs23.aarch64.rpm (info) (download)
noarch
	Agda-common-2.6.3-1.ocs23.noarch.rpm (info) (download)
	ghc-Agda-doc-2.6.3-1.ocs23.noarch.rpm (info) (download)
	ghc-murmur-hash-doc-0.1.0.10-1.ocs23.noarch.rpm (info) (download)
	ghc-vector-hashtables-doc-0.1.1.3-1.ocs23.noarch.rpm (info) (download)
x86_64
	Agda-2.6.3-1.ocs23.x86_64.rpm (info) (download)
	ghc-Agda-2.6.3-1.ocs23.x86_64.rpm (info) (download)
	ghc-Agda-devel-2.6.3-1.ocs23.x86_64.rpm (info) (download)
	ghc-murmur-hash-0.1.0.10-1.ocs23.x86_64.rpm (info) (download)
	ghc-murmur-hash-devel-0.1.0.10-1.ocs23.x86_64.rpm (info) (download)
	ghc-vector-hashtables-0.1.1.3-1.ocs23.x86_64.rpm (info) (download)
	ghc-vector-hashtables-devel-0.1.1.3-1.ocs23.x86_64.rpm (info) (download)

Logs

x86_64
	installed_pkgs.log
	build.log
	state.log
	hw_info.log
	root.log
	mock_output.log
	noarch_rpmdiff.json
aarch64
	root.log
	state.log
	installed_pkgs.log
	hw_info.log
	build.log
	mock_output.log
	noarch_rpmdiff.json

Changelog

* Thu Apr 11 2024 OpenCloudOS Release Engineering <releng@opencloudos.tech> - 2.6.3-1 - initial build

Main Site Links:

Information for build Agda-2.6.3-1.ocs23