all options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

Source Package: agda-stdlib (1.3-2)

Links for agda-stdlib

Debian Resources:

Maintainers:

External Resources:

The following binary packages are built from this source package:
agda-stdlib
Standardbibliotek for Agda
agda-stdlib-doc
Standardbibliotek for Agda - dokumentation

Other Packages Related to agda-stdlib

  • build-depends
  • build-depends-indep

Download agda-stdlib

FileSize (in kB)MD5 checksum
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 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