原始碼套件：agda（2.6.2.2-1.1）

agda 的相關連結

• Debian 原始碼倉庫 (Git)
• eLxr 補丁追蹤網站

維護者：

• Debian Haskell Group

外部的資源：

• 主頁 [wiki.portal.chalmers.se]

agda

dependently typed functional programming language

agda-bin

commandline interface to Agda

elpa-agda2-mode

dependently typed functional programming language — emacs mode

libghc-agda-dev

dependently typed functional programming language

libghc-agda-doc

dependently typed functional programming language; documentation

其他與 agda 有關的套件

• adep: alex

  lexical analyser generator for Haskell

• adep: cdbs

  common build system for Debian packages

• adep: cpphs (>= 1.20.2)

  套件暫時不可用

• adep: debhelper (>= 10)

  helper programs for debian/rules

• adep: dh-elpa (>= 1.16)

  Debian helper tools for packaging emacs lisp extensions

• adep: ghc (>= 8.4.3)

  套件暫時不可用

• adep: happy

  套件暫時不可用

• adep: haskell-devscripts (>= 0.13)

  套件暫時不可用

• adep: ghc-prof

  套件暫時不可用

• adep: libghc-aeson-dev (>= 1.1.2.0)

  套件暫時不可用

• adep: libghc-aeson-dev (<< 2.1)

  套件暫時不可用

• adep: libghc-aeson-prof

  套件暫時不可用

• adep: libghc-async-dev (>= 2.2)

  套件暫時不可用

• adep: libghc-async-dev (<< 2.3)

  套件暫時不可用

• adep: libghc-blaze-html-dev (>= 0.8)

  套件暫時不可用

• adep: libghc-blaze-html-dev (<< 0.10)

  套件暫時不可用

• adep: libghc-boxes-dev (>= 0.1.3)

  套件暫時不可用

• adep: libghc-boxes-dev (<< 0.2)

  套件暫時不可用

• adep: libghc-boxes-prof

  套件暫時不可用

• adep: libghc-case-insensitive-dev (>= 1.2.0.4)

  套件暫時不可用

• adep: libghc-case-insensitive-dev (<< 1.3)

  套件暫時不可用

• adep: libghc-case-insensitive-prof

  套件暫時不可用

• adep: libghc-data-hash-dev (>= 0.2.0.0)

  套件暫時不可用

• adep: libghc-data-hash-dev (<< 0.3)

  套件暫時不可用

• adep: libghc-edit-distance-dev (<< 0.3)

  套件暫時不可用

• adep: libghc-equivalence-dev (>= 0.3.2)

  套件暫時不可用

• adep: libghc-equivalence-dev (<< 0.5)

  套件暫時不可用

• adep: libghc-equivalence-prof

  套件暫時不可用

• adep: libghc-exceptions-dev (>= 0.8)

  套件暫時不可用

• adep: libghc-exceptions-dev (<< 0.11)

  套件暫時不可用

• adep: libghc-exceptions-prof

  套件暫時不可用

• adep: libghc-gitrev-dev (>= 1.3.1)

  套件暫時不可用

• adep: libghc-gitrev-dev (<< 2.0)

  套件暫時不可用

• adep: libghc-gitrev-prof

  套件暫時不可用

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

  套件暫時不可用

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

  套件暫時不可用

• adep: libghc-hashable-prof

  套件暫時不可用

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

  套件暫時不可用

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

  套件暫時不可用

• adep: libghc-hashtables-prof

  套件暫時不可用

• adep: libghc-monad-control-dev (>= 1.0.1.0)

  套件暫時不可用

• adep: libghc-monad-control-dev (<< 1.1)

  套件暫時不可用

• adep: libghc-monad-control-prof

  套件暫時不可用

• adep: libghc-murmur-hash-dev (>= 0.1)

  套件暫時不可用

• adep: libghc-murmur-hash-dev (<< 0.2)

  套件暫時不可用

• adep: libghc-murmur-hash-prof

  套件暫時不可用

• adep: libghc-parallel-dev (>= 3.2.2.0)

  套件暫時不可用

• adep: libghc-parallel-dev (<< 3.3)

  套件暫時不可用

• adep: libghc-parallel-prof

  套件暫時不可用

• adep: libghc-regex-tdfa-dev (>= 1.3.1.0)

  套件暫時不可用

• adep: libghc-regex-tdfa-dev (<< 1.4)

  套件暫時不可用

• adep: libghc-regex-tdfa-prof

  套件暫時不可用

• adep: libghc-split-dev (>= 0.2.0.0)

  套件暫時不可用

• adep: libghc-split-dev (<< 0.2.4)

  套件暫時不可用

• adep: libghc-split-prof

  套件暫時不可用

• adep: libghc-strict-dev (>= 0.3.2)

  套件暫時不可用

• adep: libghc-strict-dev (<< 0.5)

  套件暫時不可用

• adep: libghc-strict-prof

  套件暫時不可用

• adep: libghc-unordered-containers-dev (>= 0.2.5.0)

  套件暫時不可用

• adep: libghc-unordered-containers-dev (<< 0.3)

  套件暫時不可用

• adep: libghc-uri-encode-dev (>= 1.5.0.4)

  套件暫時不可用

• adep: libghc-uri-encode-dev (<< 1.6)

  套件暫時不可用

• adep: libghc-uri-encode-prof

  套件暫時不可用

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

  套件暫時不可用

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

  套件暫時不可用

• idep: ghc-doc

  套件暫時不可用

• idep: libghc-aeson-doc

  套件暫時不可用

• idep: libghc-async-doc

  套件暫時不可用

• idep: libghc-blaze-html-doc

  套件暫時不可用

• idep: libghc-boxes-doc

  套件暫時不可用

• idep: libghc-case-insensitive-doc

  套件暫時不可用

• idep: libghc-data-hash-doc

  套件暫時不可用

• idep: libghc-edit-distance-doc

  套件暫時不可用

• idep: libghc-equivalence-doc

  套件暫時不可用

• idep: libghc-exceptions-doc

  套件暫時不可用

• idep: libghc-gitrev-doc

  套件暫時不可用

• idep: libghc-hashable-doc

  套件暫時不可用

• idep: libghc-hashtables-doc

  套件暫時不可用

• idep: libghc-monad-control-doc

  套件暫時不可用

• idep: libghc-murmur-hash-doc

  套件暫時不可用

• idep: libghc-parallel-doc

  套件暫時不可用

• idep: libghc-regex-tdfa-doc

  套件暫時不可用

• idep: libghc-split-doc

  套件暫時不可用

• idep: libghc-strict-doc

  套件暫時不可用

• idep: libghc-unordered-containers-doc

  套件暫時不可用

• idep: libghc-uri-encode-doc

  套件暫時不可用

• idep: libghc-zlib-doc

  套件暫時不可用

Download agda

Debian 套件原始碼倉庫（VCS：Git）

https://salsa.debian.org/haskell-team/DHG_packages.git [p/agda]

Debian 套件原始碼倉庫（可線上瀏覽）

https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/agda