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

Source Package: agda-stdlib (1.7.1-1)

Links for agda-stdlib

Debian Resources:

Maintainers:

External Resources:

Наступні двійкові пакунки побудовано з цього джерельного пакунка:
agda-stdlib
standard library for Agda
agda-stdlib-doc
standard library for Agda — documentation

Інші пакунки пов'язані з agda-stdlib

  • build-depends
  • build-depends-indep

Download agda-stdlib

ФайлРозмір (в кБ)MD5 checksum
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 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