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

Zdrojový balík: agda (2.6.1-1)

Odkazy pre agda

Zdroje Debian:

Správca:

Debian Haskell Group (Stránka QA, Konferencia)

Externé zdroje:

Domovská stránka [wiki.portal.chalmers.se]

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:

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

Ostatné balíky súvisiace s balíkom agda

build-depends

build-depends-indep

adep: alex

lexikálny analyzátor pre Haskell
adep: cdbs

common build system for Debian packages
adep: cpphs (>= 1.20.2)

Simplified cpp-a-like preprocessor for Haskell
adep: debhelper (>= 10)

pomocné programy pre debian/rules
adep: dh-elpa (>= 1.16)

Debian helper tools for packaging emacs lisp extensions
adep: ghc (>= 8.4.3)

Glasgow Haskell Compilation system
adep: happy

generátor syntaktických analyzátorov pre Haskell
adep: haskell-devscripts (>= 0.13)

Tools to help Debian developers build Haskell packages
adep: ghc-prof

Profiling libraries for the 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)

asynchrónne spúšťanie V/V operácií a čakanie na ich výsledky
adep: libghc-async-dev (<< 2.3)

asynchrónne spúšťanie V/V operácií a čakanie na ich výsledky
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)

trieda typov, ktoré je možné previesť na haš
adep: libghc-hashable-dev (<< 1.4)

trieda typov, ktoré je možné previesť na haš
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)

knižnica jazyka Haskell na rozdeľovanie zoznamov
adep: libghc-split-dev (<< 0.2.4)

knižnica jazyka Haskell na rozdeľovanie zoznamov
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)

efektívne kontajnerové typy založené na hašovaní
adep: libghc-unordered-containers-dev (<< 0.3)

efektívne kontajnerové typy založené na hašovaní
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)

komprimácia a dekomprimácia formátov gzip a zlib
adep: libghc-zlib-dev (<< 0.7)

komprimácia a dekomprimácia formátov gzip a zlib

idep: ghc-doc

dokumentácia systému 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

Súbor	Veľkosť (v kB)	kontrolný súčet 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

Úložisko zdrojových balíkov Debianu (VCS: Git): https://salsa.debian.org/haskell-team/DHG_packages.git [p/agda]
Úložisko zdrojových balíkov Debianu (možno prezerať): https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/agda