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

源码包：agda-stdlib（1.7.3-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-compat (= 12)

软件包暂时不可用
adep: agda-bin (>= 2.6.3)

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

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

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

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

expressive file and directory manipulation for Haskell

Download agda-stdlib

文件	大小（单位：kB）	MD5 校验码
agda-stdlib_1.7.3-1.dsc	2.1 kB	191eba6ce103e2e870bdaa152ca92609
agda-stdlib_1.7.3.orig.tar.gz	920.0 kB	c43ed820648c482f48706bd0503c6024
agda-stdlib_1.7.3-1.debian.tar.xz	5.6 kB	c6fdd2b353661c40598bb2e7a1ce44ef

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