[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

源码包：agda-stdlib（0.17-1）

agda-stdlib 的相关链接

Debian 的资源：

维护小组：

外部的资源：

主页 [wiki.portal.chalmers.se]

本源码包构建了以下这些二进制包：

agda-stdlib: standard library for Agda
agda-stdlib-doc: standard library for Agda — documentation

其他与 agda-stdlib 有关的软件包

构建架构特定包依赖

构建架构独立包依赖

adep: debhelper (>= 10)

用于 debian/rules 的帮助程序
adep: agda-bin (>= 2.5.4.1)

commandline interface to Agda
adep: agda-bin (<< 2.5.5~)

commandline interface to Agda
adep: libghc-agda-dev (>= 2.5.4.1)

dependently typed functional programming language
adep: libghc-agda-dev (<< 2.5.5~)

dependently typed functional programming language
adep: libghc-filemanip-dev

expressive file and directory manipulation for Haskell

Download agda-stdlib

文件	大小（单位：kB）	MD5 校验码
agda-stdlib_0.17-1.dsc	2.2 kB	c3ff28acbba9dbc57147bc077e7d38f2
agda-stdlib_0.17.orig.tar.gz	388.0 kB	43c10d7da03125373a5cb1bbacbc52fa
agda-stdlib_0.17-1.debian.tar.xz	5.2 kB	fe5a92027169ee279fbfef54a07f70af

Debian 软件包源码仓库（VCS：Git）: https://salsa.debian.org/haskell-team/agda-stdlib.git
Debian 软件包源码仓库（可在线浏览）: https://salsa.debian.org/haskell-team/agda-stdlib