package names descriptions source package names package contents all options

[  jammy  ] [  noble  ] [  plucky  ] [  questing  ] [  resolute  ]

Links for agda

Ubuntu Resources:

• Bug Reports
• Ubuntu Changelog
• Copyright File
• Debian Source Repository (Git)

Maintainer:

• Ubuntu MOTU Developers (Mail Archive)

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

Original Maintainer (usually from Debian):

• Debian Haskell Group (Mail Archive)

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

External Resources:

• Homepage [wiki.portal.chalmers.se]

The following binary packages are built from this source package:

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

Other Packages Related to agda

build-depends

build-depends-indep

• adep: alex

  lexical analyser generator for Haskell

• adep: dh-sequence-haskell

  virtual package provided by dh-haskell

• adep: cpphs (>= 1.20.2)

  Simplified cpp-a-like preprocessor for Haskell

• adep: debhelper-compat (= 13)

  Package not available

• 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

  Parser generator for 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.5)

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

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

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

  run IO operations asynchronously and wait for their results

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

  run IO operations asynchronously and wait for their results

• adep: libghc-async-prof

  run IO operations asynchronously and wait for their results; profiling libs

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

  HTML combinator library for Haskell

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

  HTML combinator library for Haskell

• adep: libghc-blaze-html-prof

  HTML combinator library for Haskell; profiling libraries

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

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

  case-insensitive string comparison

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

  case-insensitive string comparison

• adep: libghc-case-insensitive-prof

  case-insensitive string comparison; profiling libraries

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

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

  Haskell library for Differences lists

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

  Haskell library for Differences lists

• adep: libghc-dlist-prof

  Haskell library for Differences lists; profiling libraries

• adep: libghc-edit-distance-dev (>= 0.2.2.1)

  Haskell fuzzy matching

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

  Haskell fuzzy matching

• adep: libghc-edit-distance-prof

  Haskell fuzzy matching; profiling libraries

• adep: libghc-enummapset-dev (>= 0.6.0.3)

  IntMap and IntSet with Enum keys/elements

• adep: libghc-enummapset-dev (<< 0.8)

  IntMap and IntSet with Enum keys/elements

• adep: libghc-enummapset-prof

  IntMap and IntSet with Enum keys/elements; profiling libraries

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

  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-filelock-dev (>= 0.1.1.5)

  portable interface to file locking (flock / LockFileEx)

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

  portable interface to file locking (flock / LockFileEx)

• adep: libghc-filelock-prof

  portable interface to file locking (flock / LockFileEx); profiling libraries

• adep: libghc-filemanip-dev (>= 0.3.6.3)

  expressive file and directory manipulation for Haskell

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

  expressive file and directory manipulation for Haskell

• adep: libghc-filemanip-prof

  expressive file and directory manipulation for Haskell; profiling libraries

• adep: libghc-generic-data-dev (>= 0.9.2.0)

  deriving instances with GHC.Generics and related utils

• adep: libghc-generic-data-dev (<< 1.2)

  deriving instances with GHC.Generics and related utils

• adep: libghc-generic-data-prof

  deriving instances with GHC.Generics and related utils; profiling libraries

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

  class for types that can be converted to a hash value

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

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

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

  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-nonempty-containers-dev (>= 0.3.4.1)

  Non-empty variants of containers data types, with full API

• adep: libghc-nonempty-containers-dev (<< 0.4)

  Non-empty variants of containers data types, with full API

• adep: libghc-nonempty-containers-prof

  Non-empty variants of containers data types, with full API; 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-pqueue-dev (>= 1.4.1.3)

  reliable, persistent, fast priority queues.

• adep: libghc-pqueue-dev (<< 1.6)

  reliable, persistent, fast priority queues.

• adep: libghc-pqueue-prof

  reliable, persistent, fast priority queues.; profiling libraries

• adep: libghc-process-extras-dev (>= 0.7.4)

  Extra functionality for the Process library

• adep: libghc-process-extras-dev (<< 0.8)

  Extra functionality for the Process library

• adep: libghc-process-extras-prof

  Extra functionality for the Process library; 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.3.4)

  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-unordered-containers-dev (>= 0.2.10.0)

  Efficient hashing-based container types

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

  Efficient hashing-based container types

• adep: libghc-unordered-containers-prof

  Efficient hashing-based container types; profiling libraries

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

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

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

  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 library for Differences lists; documentation

• idep: libghc-edit-distance-doc

  Haskell fuzzy matching; documentation

• idep: libghc-enummapset-doc

  IntMap and IntSet with Enum keys/elements; documentation

• idep: libghc-equivalence-doc

  maintaining an equivalence relation; documentation

• idep: libghc-filelock-doc

  portable interface to file locking (flock / LockFileEx); documentation

• idep: libghc-filemanip-doc

  expressive file and directory manipulation for Haskell; documentation

• idep: libghc-generic-data-doc

  deriving instances with GHC.Generics and related utils; 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-monad-control-doc

  Monad transformers to lift control operations; documentation

• idep: libghc-murmur-hash-doc

  MurmurHash2 implementation for Haskell.; documentation

• idep: libghc-nonempty-containers-doc

  Non-empty variants of containers data types, with full API; documentation

• idep: libghc-parallel-doc

  Haskell parallel programming library for GHC; documentation

• idep: libghc-peano-doc

  lazy unary natural numbers; documentation

• idep: libghc-pqueue-doc

  reliable, persistent, fast priority queues.; documentation

• idep: libghc-process-extras-doc

  Extra functionality for the Process library; 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-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

File	Size (in kB)	MD5 checksum
agda_2.8.0-2build1.dsc	5.8 kB	004ee697629feceed345f9d129ef79d4
agda_2.8.0.orig.tar.gz	1,906.2 kB	d8cca2bca1d80034f486ad499a00e5e9
agda_2.8.0-2build1.debian.tar.xz	10.4 kB	a0549dfed001142ae8b24a7b484c8ebe

Debian Package Source Repository (VCS: Git)

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

Debian Package Source Repository (Browsable)

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