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

源码包：agda-stdlib（1.3-2）

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.1)

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

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

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

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

expressive file and directory manipulation for Haskell

Download agda-stdlib

文件	大小（单位：kB）	MD5 校验码
agda-stdlib_1.3-2.dsc	2.1 kB	8cc5290c95699ae6a928f0d819bf112d
agda-stdlib_1.3.orig.tar.gz	733.8 kB	772509db9932b7794992f024a9e68f0f
agda-stdlib_1.3-2.debian.tar.xz	5.5 kB	62fd051872c315063a27f336d744cdaa

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