ghc-kan-extensions-5.2.5-1.ocs23 | Build Info

7646

Package Name

Version

5.2.5

Release

1.ocs23

Epoch

Source

git+https://gitee.com/opencloudos-stream/ghc-kan-extensions.git?.#3b858c0dd215c187d151de381599e8fc94b72568

Summary

Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads

Description

Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads.

Built by

State

complete

Volume

DEFAULT

Started

Wed, 19 Jun 2024 11:45:50 CST

Completed

Wed, 19 Jun 2024 11:47:47 CST

Task

Extra

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

Tags

RPMs

src
	ghc-kan-extensions-5.2.5-1.ocs23.src.rpm (info) (download)
aarch64
	ghc-invariant-0.6-1.ocs23.aarch64.rpm (info) (download)
	ghc-invariant-devel-0.6-1.ocs23.aarch64.rpm (info) (download)
	ghc-kan-extensions-5.2.5-1.ocs23.aarch64.rpm (info) (download)
	ghc-kan-extensions-devel-5.2.5-1.ocs23.aarch64.rpm (info) (download)
noarch
	ghc-invariant-doc-0.6-1.ocs23.noarch.rpm (info) (download)
	ghc-kan-extensions-doc-5.2.5-1.ocs23.noarch.rpm (info) (download)
x86_64
	ghc-invariant-0.6-1.ocs23.x86_64.rpm (info) (download)
	ghc-invariant-devel-0.6-1.ocs23.x86_64.rpm (info) (download)
	ghc-kan-extensions-5.2.5-1.ocs23.x86_64.rpm (info) (download)
	ghc-kan-extensions-devel-5.2.5-1.ocs23.x86_64.rpm (info) (download)

Logs

Changelog

* Mon Apr 15 2024 OpenCloudOS Release Engineering <releng@opencloudos.tech> - 5.2.5-1 - initial build