» Ubuntu » Packages » questing (25.10) » doc » agda-stdlib-doc

[ jammy ] [ noble ] [ plucky ] [ questing ] [ resolute ]

[ Source: agda-stdlib ]

Package: agda-stdlib-doc (2.1-4) [universe]

Links for agda-stdlib-doc

Ubuntu Resources:

Download Source Package agda-stdlib:

Maintainer:

Ubuntu MOTU Developers (Mail Archive)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

Debian Haskell Group (Mail Archive)
Ilias Tsitsimpis

It should generally not be necessary for users to contact the original maintainer.

External Resources:

Homepage [wiki.portal.chalmers.se]

Similar packages:

standard library for Agda — documentation

Other Packages Related to agda-stdlib-doc

depends

recommends

suggests

enhances

sug: agda-stdlib

standard library for Agda

Download agda-stdlib-doc

Download for all available architectures
Architecture	Package Size	Installed Size	Files
all	3,578.4 kB	52,976.0 kB	[list of files]