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

Source Package: agda-stdlib (0.17-1)

Links for agda-stdlib

Debian Resources:

Maintainers:

Iain Lane (QA Page)
Debian Haskell Group (QA Page, Mail Archive)

External Resources:

Homepage [wiki.portal.chalmers.se]

The following binary packages are built from this source package:

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

Other Packages Related to agda-stdlib

build-depends

build-depends-indep

adep: debhelper (>= 10)

helper programs for 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

File	Size (in kB)	MD5 checksum
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 Package Source Repository (VCS: Git): https://salsa.debian.org/haskell-team/agda-stdlib.git
Debian Package Source Repository (Browsable): https://salsa.debian.org/haskell-team/agda-stdlib