ナビゲーションをスキップ

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

 / パッケージ / bullseye (oldstable) / ソース / haskell / agda

[  buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

agda に関するリンク

Debian の資源:

• バグ報告
• Developer Information
• Debian での変更履歴
• 著作権ファイル
• Debian ソースリポジトリ (Git)
• Debian パッチ追跡システム

メンテナ:

• Debian Haskell Group (QA ページ, メールアーカイブ)

外部の資源:

• ホームページ [wiki.portal.chalmers.se]

以下のバイナリパッケージがこのソースパッケージからビルドされています。

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 (>= 1.16)

  Debian helper tools for packaging emacs lisp extensions

• adep: ghc (>= 8.4.3)

  The Glasgow Haskell Compilation system

• adep: happy

  Haskell 用の構文解析器生成器

• adep: haskell-devscripts (>= 0.13)

  Tools to help Debian developers build Haskell packages

• adep: ghc-prof

  Glasgow Haskell Compilation system 用プロファイル情報付きライブラリ

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

  Fast JSON parsing and encoding library

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

  Fast JSON parsing and encoding library

• adep: libghc-aeson-prof

  Fast JSON parsing and encoding library; 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-data-hash-dev (<< 0.3)

  combinators for building fast hashing functions.

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

  combinators for building fast hashing functions.

• 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.4)

  maintaining an equivalence relation

• adep: libghc-equivalence-prof

  maintaining an equivalence relation; profiling libraries

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

  extensible optionally-pure exceptions

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

  extensible optionally-pure exceptions

• adep: libghc-exceptions-prof

  extensible optionally-pure exceptions; profiling libraries

• adep: libghc-geniplate-mirror-dev (>= 0.6.0.6)

  Use Template Haskell to generate Uniplate-like functions.

• adep: libghc-geniplate-mirror-dev (<< 0.8)

  Use Template Haskell to generate Uniplate-like functions.

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

  compile git revision info into Haskell projects

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

  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.4)

  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-hashtables-dev (>= 1.2.0.2)

  mutable hash tables

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

  mutable hash tables

• adep: libghc-ieee754-dev (>= 0.7.8)

  Utilities for dealing with IEEE floating point numbers

• adep: libghc-ieee754-dev (<< 0.9)

  Utilities for dealing with IEEE floating point numbers

• 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-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.2.4)

  Haskell library for splitting lists

• adep: libghc-split-prof

  Haskell library for splitting lists; profiling libraries

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

  Strict variants of standard Haskell datatypes

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

  Strict variants of standard Haskell datatypes

• adep: libghc-unordered-containers-dev (>= 0.2.5.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-zlib-dev (>= 0.6)

  Compression and decompression in the gzip and zlib formats

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

  Compression and decompression in the gzip and zlib formats

• idep: ghc-doc

  Glasgow Haskell Compilation システムのドキュメンテーション

• idep: libghc-aeson-doc

  Fast JSON parsing and encoding library; 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-data-hash-doc

  combinators for building fast hashing functions.; documentation

• idep: libghc-edit-distance-doc

  Haskell fuzzy matching; documentation

• idep: libghc-equivalence-doc

  maintaining an equivalence relation; documentation

• idep: libghc-exceptions-doc

  extensible optionally-pure exceptions; documentation

• idep: libghc-geniplate-mirror-doc

  Use Template Haskell to generate Uniplate-like functions.; documentation

• 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-hashtables-doc

  mutable hash tables -- documentation; documentation

• idep: libghc-ieee754-doc

  Utilities for dealing with IEEE floating point numbers; documentation

• idep: libghc-murmur-hash-doc

  MurmurHash2 implementation for Haskell.; 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-unordered-containers-doc

  Efficient hashing-based container types; documentation

• idep: libghc-uri-encode-doc

  Unicode aware uri-encoding.; documentation

• idep: libghc-zlib-doc

  Compression and decompression in the gzip and zlib formats; documentation

Download agda

ファイル	サイズ (単位: kB)	MD5 チェックサム
agda_2.6.1-1.dsc	4.1 kB	2479572201b6b83dbf609457cfb07572
agda_2.6.1.orig.tar.gz	2,584.3 kB	6d3232fbf32443a9df3e58d4b793a963
agda_2.6.1-1.debian.tar.xz	9.8 kB	3d0081921bfdd646afd8762605a47736

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