ソースパッケージ: agda (2.6.4.3-1)
以下のバイナリパッケージがこのソースパッケージからビルドされています。
- agda
- 依存型付けされた関数プログラミング言語
- agda-bin
- Agda へのコマンドラインインターフェース
- elpa-agda2-mode
- 依存型付けされた関数プログラミング言語 — emacs モード
- libghc-agda-dev
- 依存型付けされた関数プログラミング言語
- libghc-agda-doc
- 依存型付けされた関数プログラミング言語 (ドキュメンテーション)
その他の agda 関連パッケージ
|
|
-
- adep: alex
- Haskell 用字句解析器生成器
-
- adep: cdbs
- common build system for Debian packages
-
- adep: cpphs (>= 1.20.2)
- Simplified cpp-a-like preprocessor for Haskell
-
- adep: debhelper (>= 10)
- helper programs for debian/rules
-
- adep: dh-elpa (>= 2.1.5)
- Debian helper tools for packaging emacs lisp extensions
-
- adep: ghc (>= 9.4)
- The Glasgow Haskell Compilation system
-
- adep: happy
- Haskell 用の構文解析器生成器
-
- adep: haskell-devscripts (>= 0.13)
- Debian tools to build Haskell packages (with hscolour)
-
- adep: ghc-prof
- Profiling libraries for the Glasgow Haskell Compilation system
-
- adep: libghc-stmonadtrans-dev (>= 0.4.3)
- monad transformer version of the ST monad
-
- adep: libghc-stmonadtrans-dev (<< 0.5)
- monad transformer version of the ST monad
-
- adep: libghc-stmonadtrans-prof
- monad transformer version of the ST monad; profiling libraries
-
- adep: libghc-aeson-dev (>= 1.1.2.0)
- Fast JSON parsing and encoding library
-
- adep: libghc-aeson-dev (<< 2.3)
- Fast JSON parsing and encoding library
-
- adep: libghc-aeson-prof
- Fast JSON parsing and encoding library; profiling libraries
-
- adep: libghc-ansi-terminal-dev (>= 0.9)
- Simple ANSI terminal support, with Windows compatibility
-
- adep: libghc-ansi-terminal-dev (<< 1.2)
- Simple ANSI terminal support, with Windows compatibility
-
- adep: libghc-ansi-terminal-prof
- Simple ANSI terminal support, with Windows compatibility; profiling libraries
-
- adep: libghc-async-dev (>= 2.2)
- 非同期に IO 操作を実行しその結果を待つ
-
- adep: libghc-async-dev (<< 2.3)
- 非同期に IO 操作を実行しその結果を待つ
-
- adep: libghc-blaze-html-dev (>= 0.8)
- HTML combinator library for Haskell
-
- adep: libghc-blaze-html-dev (<< 0.10)
- HTML combinator library for Haskell
-
- adep: libghc-boxes-dev (>= 0.1.3)
- 2D text pretty-printing library
-
- adep: libghc-boxes-dev (<< 0.2)
- 2D text pretty-printing library
-
- adep: libghc-boxes-prof
- 2D text pretty-printing library; profiling libraries
-
- adep: libghc-case-insensitive-dev (>= 1.2.0.4)
- 大文字と小文字を区別しない文字列比較
-
- adep: libghc-case-insensitive-dev (<< 1.3)
- 大文字と小文字を区別しない文字列比較
-
- adep: libghc-case-insensitive-prof
- case-insensitive string comparison; profiling libraries
-
- adep: libghc-data-hash-dev (>= 0.2.0.0)
- combinators for building fast hashing functions.
-
- adep: libghc-data-hash-dev (<< 0.3)
- combinators for building fast hashing functions.
-
- adep: libghc-data-hash-prof
- combinators for building fast hashing functions.; profiling libraries
-
- adep: libghc-dlist-dev (>= 0.8)
- 差分リスト Haskell ライブラリ
-
- adep: libghc-dlist-dev (<< 1.1)
- 差分リスト Haskell ライブラリ
-
- adep: libghc-dlist-prof
- 差分リスト Haskell ライブラリ - プロファイル用ライブラリ
-
- adep: libghc-edit-distance-dev (>= 0.2.1.2)
- Haskell fuzzy matching
-
- adep: libghc-edit-distance-dev (<< 0.3)
- Haskell fuzzy matching
-
- adep: libghc-equivalence-dev (>= 0.3.2)
- maintaining an equivalence relation
-
- adep: libghc-equivalence-dev (<< 0.5)
- maintaining an equivalence relation
-
- adep: libghc-equivalence-prof
- maintaining an equivalence relation; profiling libraries
-
- adep: libghc-exceptions-dev (>= 0.8)
- パッケージは利用できません
-
- adep: libghc-exceptions-dev (<< 0.11)
- パッケージは利用できません
-
- adep: libghc-exceptions-prof
- パッケージは利用できません
-
- adep: libghc-gitrev-dev (>= 1.3.1)
- compile git revision info into Haskell projects
-
- adep: libghc-gitrev-dev (<< 2)
- compile git revision info into Haskell projects
-
- adep: libghc-gitrev-prof
- compile git revision info into Haskell projects; profiling libraries
-
- adep: libghc-hashable-dev (>= 1.2.1.0)
- class for types that can be converted to a hash value
-
- adep: libghc-hashable-dev (<< 1.5)
- class for types that can be converted to a hash value
-
- adep: libghc-hashable-prof
- class for types that can be converted to a hash value; profiling libraries
-
- adep: libghc-monad-control-dev (>= 1.0.1.0)
- Monad transformers to lift control operations
-
- adep: libghc-monad-control-dev (<< 1.1)
- Monad transformers to lift control operations
-
- adep: libghc-monad-control-prof
- Monad transformers to lift control operations; profiling libraries
-
- adep: libghc-murmur-hash-dev (>= 0.1)
- MurmurHash2 implementation for Haskell.
-
- adep: libghc-murmur-hash-dev (<< 0.2)
- MurmurHash2 implementation for Haskell.
-
- adep: libghc-murmur-hash-prof
- MurmurHash2 implementation for Haskell.; profiling libraries
-
- adep: libghc-parallel-dev (>= 3.2.2.0)
- Haskell parallel programming library for GHC
-
- adep: libghc-parallel-dev (<< 3.3)
- Haskell parallel programming library for GHC
-
- adep: libghc-parallel-prof
- Haskell parallel programming library for GHC; profiling libraries
-
- adep: libghc-peano-dev (>= 0.1.0.1)
- lazy unary natural numbers
-
- adep: libghc-peano-dev (<< 0.2)
- lazy unary natural numbers
-
- adep: libghc-peano-prof
- lazy unary natural numbers; profiling libraries
-
- adep: libghc-regex-tdfa-dev (>= 1.3.1.0)
- Haskell library for a tagged DFA regex engine
-
- adep: libghc-regex-tdfa-dev (<< 1.4)
- Haskell library for a tagged DFA regex engine
-
- adep: libghc-regex-tdfa-prof
- Haskell library for a tagged DFA regex engine; profiling libraries
-
- adep: libghc-split-dev (>= 0.2.0.0)
- Haskell library for splitting lists
-
- adep: libghc-split-dev (<< 0.3)
- Haskell library for splitting lists
-
- adep: libghc-split-prof
- Haskell library for splitting lists; profiling libraries
-
- adep: libghc-strict-dev (>= 0.4.0.1)
- Strict variants of standard Haskell datatypes
-
- adep: libghc-strict-dev (<< 0.6)
- Strict variants of standard Haskell datatypes
-
- adep: libghc-strict-prof
- Strict variants of standard Haskell datatypes; profiling libraries
-
- adep: libghc-time-compat-dev (>= 1.9.2)
- compatibility with old-time for the time package
-
- adep: libghc-time-compat-dev (<< 1.10)
- compatibility with old-time for the time package
-
- adep: libghc-time-compat-prof
- Compatibility with old-time for the time package; profiling libraries
-
- adep: libghc-unordered-containers-dev (>= 0.2.9.0)
- Efficient hashing-based container types
-
- adep: libghc-unordered-containers-dev (<< 0.3)
- Efficient hashing-based container types
-
- adep: libghc-uri-encode-dev (>= 1.5.0.4)
- Unicode aware uri-encoding.
-
- adep: libghc-uri-encode-dev (<< 1.6)
- Unicode aware uri-encoding.
-
- adep: libghc-uri-encode-prof
- Unicode aware uri-encoding.; profiling libraries
-
- adep: libghc-vector-dev (>= 0.12)
- Efficient Arrays for Haskell
-
- adep: libghc-vector-dev (<< 0.14)
- Efficient Arrays for Haskell
-
- adep: libghc-vector-prof
- Efficient Arrays for Haskell; profiling libraries
-
- adep: libghc-vector-hashtables-dev (>= 0.1.1.1)
- efficient vector-based mutable hashtables implementation
-
- adep: libghc-vector-hashtables-dev (<< 0.2)
- efficient vector-based mutable hashtables implementation
-
- adep: libghc-vector-hashtables-prof
- efficient vector-based mutable hashtables implementation; profiling libraries
-
- adep: libghc-zlib-dev (>= 0.6)
- Compression and decompression in the gzip and zlib formats
-
- adep: libghc-zlib-dev (<< 0.8)
- Compression and decompression in the gzip and zlib formats
-
- adep: libghc-zlib-prof
- Compression and decompression in the gzip and zlib formats; profiling libraries
-
- idep: ghc-doc
- Documentation for the Glasgow Haskell Compilation system
-
- idep: libghc-stmonadtrans-doc
- monad transformer version of the ST monad; documentation
-
- idep: libghc-aeson-doc
- Fast JSON parsing and encoding library; documentation
-
- idep: libghc-ansi-terminal-doc
- Simple ANSI terminal support, with Windows compatibility; documentation
-
- idep: libghc-async-doc
- run IO operations asynchronously and wait for their results; documentation
-
- idep: libghc-blaze-html-doc
- HTML combinator library for Haskell; documentation
-
- idep: libghc-boxes-doc
- 2D text pretty-printing library; documentation
-
- idep: libghc-case-insensitive-doc
- case-insensitive string comparison; documentation
-
- idep: libghc-data-hash-doc
- combinators for building fast hashing functions.; documentation
-
- idep: libghc-dlist-doc
- 差分リスト Haskell ライブラリ - ドキュメンテーション
-
- idep: libghc-edit-distance-doc
- Haskell fuzzy matching; documentation
-
- idep: libghc-equivalence-doc
- maintaining an equivalence relation; documentation
-
- idep: libghc-exceptions-doc
- パッケージは利用できません
-
- idep: libghc-gitrev-doc
- compile git revision info into Haskell projects; documentation
-
- idep: libghc-hashable-doc
- class for types that can be converted to a hash value; documentation
-
- idep: libghc-monad-control-doc
- Monad transformers to lift control operations; documentation
-
- idep: libghc-murmur-hash-doc
- MurmurHash2 implementation for Haskell.; documentation
-
- idep: libghc-parallel-doc
- Haskell parallel programming library for GHC; documentation
-
- idep: libghc-peano-doc
- lazy unary natural numbers; documentation
-
- idep: libghc-regex-tdfa-doc
- Haskell library for a tagged DFA regex engine; documentation
-
- idep: libghc-split-doc
- Haskell library for splitting lists; documentation
-
- idep: libghc-strict-doc
- Strict variants of standard Haskell datatypes; documentation
-
- idep: libghc-time-compat-doc
- Compatibility with old-time for the time package; documentation
-
- idep: libghc-unordered-containers-doc
- Efficient hashing-based container types; documentation
-
- idep: libghc-uri-encode-doc
- Unicode aware uri-encoding.; documentation
-
- idep: libghc-vector-doc
- Efficient Arrays for Haskell; documentation
-
- idep: libghc-vector-hashtables-doc
- efficient vector-based mutable hashtables implementation; documentation
-
- idep: libghc-zlib-doc
- Compression and decompression in the gzip and zlib formats; documentation
Download agda
| ファイル | サイズ (単位: kB) | MD5 チェックサム |
|---|---|---|
| agda_2.6.4.3-1.dsc | 5.1 kB | 25a199441916fcbee1b0b2532216fb79 |
| agda_2.6.4.3.orig.tar.gz | 1,825.6 kB | 8a27f437e1c7a822c1e191c802de5d35 |
| agda_2.6.4.3-1.debian.tar.xz | 10.2 kB | d39bca04b6137deb3462b25204c8a4ec |
- 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