openKylin agda-stdlib package

agda-stdlib 1.1-ok1 source package in openKylin

Changelog

agda-stdlib (1.1-ok1) yangtze; urgency=medium

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Mon, 25 Apr 2022 22:03:04 +0800

Upload details

Uploaded by:
openKylinBot
Sponsored by:
luzp
Uploaded to:
Yangtze V1.0
Original maintainer:
Openkylin Developers
Architectures:
all
Section:
libs
Urgency:
Medium Urgency

Publishing See full publishing history

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
agda-stdlib_1.1.orig.tar.gz 556.7 KiB bb21bae5670863297c67f5d40c8c9e28d9329907683d43121bd58049dec25498
agda-stdlib_1.1-ok1.debian.tar.xz 3.2 KiB a81c92bd9c3c07d4ed5fd3d1732fe2e68909caa3c687200cb2143a9ac28b3d8f
agda-stdlib_1.1-ok1.dsc 1.9 KiB 32460b5be84a465f8d5da8b169e4a5aa31cf330410e942db791ec3c23f32982b

View changes file

Binary packages built by this source

agda-stdlib: No summary available for agda-stdlib in openkylin yangtze.

No description available for agda-stdlib in openkylin yangtze.

agda-stdlib-doc: No summary available for agda-stdlib-doc in openkylin yangtze.

No description available for agda-stdlib-doc in openkylin yangtze.