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

源码包：agda-stdlib（1.7.1-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.2)

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

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

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

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.1-1.dsc	2.1 kB	7d0e7d5d78ac86499cf869a5948d441a
agda-stdlib_1.7.1.orig.tar.gz	918.1 kB	19d18d2ca466cbfae1945c379b8c4bea
agda-stdlib_1.7.1-1.debian.tar.xz	5.5 kB	ac9d51dd51d058248e6c09a9d163d6e4

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