[  etiona  ] [  nabia  ] [  aramo  ]

Links for agda-stdlib

Trisquel-palvelut:

• Vikailmoitukset
• Changelog
• Tekijänoikeustiedosto
• Debian Source Repository (Git)

Ylläpitäjä:

• Iain Lane

Original Maintainers:

• Iain Lane
• Debian Haskell Group (Mail Archive)

External Resources:

• Kotisivu [wiki.portal.chalmers.se]

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

• adep: debhelper-compat (= 12)

  Paketti ei saatavilla

• adep: agda-bin (>= 2.6.0.1)

  commandline interface to Agda

• adep: agda-bin (<< 2.6.1~)

  commandline interface to Agda

• adep: libghc-agda-dev (>= 2.6.0.1)

  dependently typed functional programming language

• adep: libghc-agda-dev (<< 2.6.1~)

  dependently typed functional programming language

• adep: libghc-filemanip-dev

  expressive file and directory manipulation for Haskell

Download agda-stdlib

Tiedosto	Koko (kt)	MD5-tarkiste
agda-stdlib_1.1-1.dsc	2.1 kt	5b24c5ce48fbd394902892cc515f8978
agda-stdlib_1.1.orig.tar.gz	556.7 kt	5be09e518785a3f27cdc65d5462abbbf
agda-stdlib_1.1-1.debian.tar.xz	5.4 kt	5eab2f0c129e6462dce567c768aba5c8

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