Source Package: agda (2.2.6-7)
Links for agda
Debian Resources:
Maintainers:
External Resources:
The following binary packages are built from this source package:
- agda-mode
- the emacs mode for Agda
- libghc6-agda-dev
- a dependently typed functional programming language - development libraries
- libghc6-agda-doc
- a dependently typed functional programming language - documentation
Other Packages Related to agda
-
- adep:
debhelper
(>= 7.0)
- debian/rules のヘルパープログラム
-
- adep:
haskell-devscripts
(>= 0.7)
- Debian 開発者用 Haskellパッケージ構築補助ツール
-
- adep:
cdbs
(>> 0.4.58)
- common build system for Debian packages
-
- adep:
ghc6
- GHC - Glasgow Haskell Compilation システム
-
- adep:
libghc6-quickcheck2-dev
(>= 2.1.0.2)
- Haskell automatic testing library for GHC
-
- adep:
libghc6-quickcheck2-dev
(<< 2.2.0.0)
- Haskell automatic testing library for GHC
-
- adep:
libghc6-binary-dev
(>= 0.4.4)
- Haskell library for binary serialisation using lazy ByteStrings
-
- adep:
libghc6-binary-dev
(<< 0.6)
- Haskell library for binary serialisation using lazy ByteStrings
-
- adep:
libghc6-haskeline-dev
(>= 0.3)
- A command-line interface for user input, written in Haskell
-
- adep:
libghc6-haskeline-dev
(<< 0.7)
- A command-line interface for user input, written in Haskell
-
- adep:
libghc6-haskell-src-dev
(>= 1.0.1.1)
- Haskell module to manipulate Haskell source
-
- adep:
libghc6-haskell-src-dev
(<< 2)
- Haskell module to manipulate Haskell source
-
- adep:
libghc6-mtl-dev
(>= 1.1)
- Haskell monad transformer library for GHC
-
- adep:
libghc6-mtl-dev
(<< 2)
- Haskell monad transformer library for GHC
-
- adep:
libghc6-xhtml-dev
(>= 3000.2)
- GHC 用 Haskell xhtml ライブラリ
-
- adep:
libghc6-xhtml-dev
(<< 3000.3)
- GHC 用 Haskell xhtml ライブラリ
-
- adep:
libghc6-zlib-dev
(>= 0.4.0.1)
- Compression and decompression in the gzip and zlib formats
-
- adep:
libghc6-zlib-dev
(<< 1)
- Compression and decompression in the gzip and zlib formats
-
- adep:
happy
(>= 1.15)
- Parser generator for Haskell
-
- adep:
happy
(<< 2)
- Parser generator for Haskell
-
- adep:
alex
(>= 2.0.1)
- lexical analyser generator for Haskell
-
- adep:
alex
(<< 3)
- lexical analyser generator for Haskell
-
- adep:
libncurses5-dev
- 開発者向けの ncurses 用ライブラリおよびドキュメント
-
- idep:
ghc6-doc
- Glasgow Haskell Compilation システムのドキュメンテーション
-
- idep:
libghc6-quickcheck2-doc
(>= 2.1.0.2)
- Haskell automatic testing library for GHC; documentation
-
- idep:
libghc6-quickcheck2-doc
(<< 2.2.0.0)
- Haskell automatic testing library for GHC; documentation
-
- idep:
libghc6-binary-doc
(>= 0.4.4)
- Haskell library for binary serialisation; documentation
-
- idep:
libghc6-binary-doc
(<< 0.6)
- Haskell library for binary serialisation; documentation
-
- idep:
libghc6-haskeline-doc
(>= 0.3)
- A command-line interface for user input, written in Haskell; documentation
-
- idep:
libghc6-haskeline-doc
(<< 0.7)
- A command-line interface for user input, written in Haskell; documentation
-
- idep:
libghc6-haskell-src-doc
(>= 1.0.1.1)
- Haskell module to manipulate Haskell source; documentation
-
- idep:
libghc6-haskell-src-doc
(<< 2)
- Haskell module to manipulate Haskell source; documentation
-
- idep:
libghc6-mtl-doc
(>= 1.1)
- Haskell monad transformer library for GHC; documentation
-
- idep:
libghc6-mtl-doc
(<< 2)
- Haskell monad transformer library for GHC; documentation
-
- idep:
libghc6-terminfo-doc
- Haskell bindings to the terminfo library; documentation
-
- idep:
libghc6-xhtml-doc
(>= 3000.2)
- GHC 用 Haskell xhtml ライブラリ - ドキュメンテーション
-
- idep:
libghc6-xhtml-doc
(<< 3000.3)
- GHC 用 Haskell xhtml ライブラリ - ドキュメンテーション
-
- idep:
libghc6-zlib-doc
(>= 0.4.0.1)
- Compression and decompression in the gzip and zlib formats; documentation
-
- idep:
libghc6-zlib-doc
(<< 1)
- Compression and decompression in the gzip and zlib formats; documentation
