Tarkennettu haku
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

Source Package: agda-stdlib (1.7.1-1)

Links for agda-stdlib

Debian-palvelut:

Ylläpitäjät:

External Resources:

Seuraavat binääripaketit on käännetty tästä lähdepaketista:
agda-stdlib
standard library for Agda
agda-stdlib-doc
standard library for Agda — documentation

Muut pakettiin agda-stdlib liittyvät paketit

  • build-depends
  • build-depends-indep

Download agda-stdlib

TiedostoKoko (kt)MD5-tarkiste
agda-stdlib_1.7.1-1.dsc 2.1 kt 7d0e7d5d78ac86499cf869a5948d441a
agda-stdlib_1.7.1.orig.tar.gz 918.1 kt 19d18d2ca466cbfae1945c379b8c4bea
agda-stdlib_1.7.1-1.debian.tar.xz 5.5 kt 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