[ jammy ] [ noble ] [ resolute ] [ stonking ] [ tenacious ]

Source Package: agda (2.8.0-2maysync1) [universe]

About

published in section universe

Ubuntu Resources:

Maintainer:

Ubuntu 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]

Наступні двійкові пакунки побудовано з цього джерельного пакунка:

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

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)

Пакунок недоступний
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

Файл	Розмір (в кБ)	MD5 checksum
agda_2.8.0.orig.tar.gz	1,906.2 kB	d8cca2bca1d80034f486ad499a00e5e9
agda_2.8.0-2maysync1.debian.tar.xz	10.5 kB	2ced55ad06629d474d4b3d7b6363c530
agda_2.8.0-2maysync1.dsc	5.9 kB	694afc36ad163dd71ef0dc13999eecf3

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