názvy balíkov popisy názvy zdrojových balíkov obsah balíkov všetky možnosti

[  lucid  ] [  precise  ] [  quantal  ] [  raring  ] [  saucy  ]

Odkazy pre agda

Zdroje Ubuntu:

• Hlásenia chýb
• Záznam zmien Ubuntu
• Autori a licencia
• Zdrojové úložisko Debianu (Git)

Správca:

• Ubuntu MOTU Developers (Konferencia)

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

Original Maintainers (usually from Debian):

• Debian Haskell Group (Konferencia)
• Iain Lane

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

Externé zdroje:

• Domovská stránka [wiki.portal.chalmers.se]

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:

agda

dependently typed functional programming language

agda-mode

dependently typed functional programming language — emacs mode

libghc-agda-dev

dependently typed functional programming language - development libraries

libghc-agda-doc

dependently typed functional programming language - documentation

Ostatné balíky súvisiace s balíkom agda

build-depends

build-depends-indep

• adep: debhelper (>= 7.0)

  helper programs for debian/rules

• adep: haskell-devscripts (>= 0.8)

  Tools to help Debian developers build Haskell packages

• adep: cdbs (>> 0.4.58)

  common build system for Debian packages

• adep: ghc

  The Glasgow Haskell Compilation system

• adep: libghc-binary-dev

  virtuálny balík poskytovaný balíkom ghc

• adep: libghc-hashable-dev (>= 1.1)

  Class for types that can be converted to a hash value

• adep: libghc-hashable-dev (<< 1.2)

  Class for types that can be converted to a hash value

• adep: libghc-hashtables-dev (>= 1.0)

  mutable hash tables

• adep: libghc-hashtables-dev (<< 1.1)

  mutable hash tables

• adep: libghc-haskeline-dev (>= 0.3)

  A command-line interface for user input, written in Haskell

• adep: libghc-haskeline-dev (<< 0.7)

  A command-line interface for user input, written in Haskell

• adep: libghc-haskell-src-dev (>= 1.0.1.1)

  Haskell module to manipulate Haskell source

• adep: libghc-haskell-src-dev (<< 2)

  Haskell module to manipulate Haskell source

• adep: libghc-mtl-dev (>= 2.0)

  Haskell monad transformer library for GHC

• adep: libghc-mtl-dev (<< 3)

  Haskell monad transformer library for GHC

• adep: libghc-xhtml-dev (>= 3000.2)

  Haskell xhtml library for GHC

• adep: libghc-xhtml-dev (<< 3000.3)

  Haskell xhtml library for GHC

• adep: libghc-zlib-dev (>= 0.4.0.1)

  Compression and decompression in the gzip and zlib formats

• adep: libghc-zlib-dev (<< 0.6)

  Compression and decompression in the gzip and zlib formats

• adep: libghc-src-exts-dev (>= 1.9.6)

  Haskell-Source with eXtensions library for GHC

• adep: libghc-src-exts-dev (<< 1.12)

  Haskell-Source with eXtensions library for GHC

• adep: libghc-quickcheck2-dev (>= 2.3)

  Haskell automatic testing library for GHC

• adep: libghc-quickcheck2-dev (<< 2.5)

  Haskell automatic testing library for GHC

• adep: libghc-syb-dev (>= 0.1)

  Generic programming library for Haskell

• adep: libghc-syb-dev (<< 0.4)

  Generic programming library for Haskell

• adep: happy (>= 1.15)

  Parser generator for Haskell

• adep: happy (<< 2)

  Parser generator for Haskell

• adep: alex (>= 2.3.1)

  lexical analyser generator for Haskell

• adep: libncurses5-dev

  developer's libraries for ncurses

• idep: ghc-doc

  Documentation for the Glasgow Haskell Compilation system

• idep: libghc-binary-doc

  virtuálny balík poskytovaný balíkom ghc-doc

• idep: libghc-hashable-doc

  Class for types that can be converted to a hash value; documentation

• idep: libghc-hashtables-doc

  mutable hash tables -- documentation

• idep: libghc-haskeline-doc

  A command-line interface for user input, written in Haskell; documentation

• idep: libghc-haskell-src-doc

  Haskell module to manipulate Haskell source; documentation

• idep: libghc-mtl-doc

  Haskell monad transformer library for GHC; documentation

• idep: libghc-terminfo-doc

  Haskell bindings to the terminfo library; documentation

• idep: libghc-xhtml-doc

  Haskell xhtml library for GHC; documentation

• idep: libghc-zlib-doc

  Compression and decompression in the gzip and zlib formats; documentation

• idep: libghc-src-exts-doc

  API documentation of the haskell-src-exts library

• idep: libghc-quickcheck2-doc

  Haskell automatic testing library for GHC; documentation

• idep: libghc-syb-doc

  Generic programming library for Haskell; documentation

Download agda

Súbor	Veľkosť (v kB)	kontrolný súčet MD5
agda_2.3.0.1-1build2.dsc	3.0 kB	06108e21a6b540fe96df75e66bb9103c
agda_2.3.0.1.orig.tar.gz	598.0 kB	3caa2466ae4f925dd37320336e2e839c
agda_2.3.0.1-1build2.debian.tar.gz	6.5 kB	c3f423d747c9dafe5db565945340e5ab

Úložisko zdrojových balíkov Debianu (VCS: Git)

git://git.debian.org/git/pkg-haskell/agda.git

Úložisko zdrojových balíkov Debianu (možno prezerať)

http://git.debian.org/?p=pkg-haskell/agda.git;a=summary