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

Source Package: agda (2.5.4.1-3)

Links for agda

Debian Resources:

Maintainer:

Debian Haskell Group (QA Page, Mail Archive)

External Resources:

Homepage [wiki.portal.chalmers.se]

The following binary packages are built from this source package:

agda: Afhængighedsindtastet funktionelt programmeringssprog
agda-bin: Kommandolinjegrænseflade til Agda
agda-mode: Tom overgangspakke for elpa-agda2-mode
elpa-agda2-mode: Afhængighedsindtastet funktionelt programmeringssprog - tilstand for emacs
libghc-agda-dev: Afhængighedsindtastet funktionelt programmeringssprog
libghc-agda-doc: Afhængighedsindtastet funktionelt programmeringssprog - dokumentation

Other Packages Related to agda

build-depends

build-depends-indep

adep: alex

Leksikal analysegenerator for Haskell
adep: cdbs

Fælles byggesystem for Debianpakker
adep: cpphs (>= 1.20.2)

Forenklet cpp-a-lignende forbrænder for Haskell
adep: debhelper (>= 10)

Hjælpeprogrammer for debian/rules
adep: dh-elpa

Debianhjækpeværktøjer for pakning af emacs lisp-udvidelser
adep: ghc (>= 8.4.3)

Glasgow Haskells kompileringssystem
adep: happy

Fortolkeropretter for Haskell
adep: haskell-devscripts (>= 0.13)

Værktøjer til at hjælpe Debianudviklere med at bygge Haskell-pakker
adep: libghc-async-dev (>= 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-blaze-html-dev (>= 0.8)

HTML combinator-bibliotek for Haskell
adep: libghc-blaze-html-dev (<< 0.10)

HTML combinator-bibliotek for Haskell
adep: libghc-boxes-dev (>= 0.1.3)

2D-tekst forskønnet-udskrivning - bibliotek
adep: libghc-boxes-dev (<< 0.2)

2D-tekst forskønnet-udskrivning - bibliotek
adep: libghc-data-hash-dev (<< 0.3)

Kombinatorer for bygning af hurtige hashing-funktioner
adep: libghc-data-hash-dev (>= 0.2.0.0)

Kombinatorer for bygning af hurtige hashing-funktioner
adep: libghc-edison-core-dev (>= 1.3.2.1)

Haskell-bibliotek for effektive, rent funktionelle datastrukturer
adep: libghc-edison-core-dev (<< 1.4)

Haskell-bibliotek for effektive, rent funktionelle datastrukturer
adep: libghc-edit-distance-dev (<< 0.3)

Fuzzy-matchning for Haskell
adep: libghc-equivalence-dev (>= 0.3.2)

Vedlighold af en ækvivalensrelation
adep: libghc-equivalence-dev (<< 0.4)

Vedlighold af en ækvivalensrelation
adep: libghc-filemanip-dev (<< 0.4)

expressive file and directory manipulation for Haskell
adep: libghc-filemanip-dev (>= 0.3.6.3)

expressive file and directory manipulation for Haskell
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-hashable-dev (<< 1.3)

class for types that can be converted to a hash value
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-implementering for Haskell
adep: libghc-murmur-hash-dev (<< 0.2)

MurmurHash2-implementering for Haskell
adep: libghc-regex-tdfa-dev (>= 1.2.2)

Haskell library for a tagged DFA regex engine
adep: libghc-regex-tdfa-dev (<< 1.3)

Haskell library for a tagged DFA regex engine
adep: libghc-strict-dev (>= 0.3.2)

Strict-varianter for Haskells standarddatatyper
adep: libghc-strict-dev (<< 0.4)

Strict-varianter for Haskells standarddatatyper
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-opmærksom uri-kodning
adep: libghc-uri-encode-dev (<< 1.6)

Unicode-opmærksom uri-kodning
adep: libghc-zlib-dev (>= 0.4.0.1)

Komprimering og udpakning i formaterne gzip og zlib
adep: libghc-zlib-dev (<< 0.7)

Komprimering og udpakning i formaterne gzip og zlib

idep: ghc-doc

Dokumentation for Glasgow Haskell Compilation-systemet
idep: libghc-edison-core-doc

Dokumentation for Edison Haskell-biblioteket
idep: libghc-async-doc

run IO operations asynchronously and wait for their results; documentation
idep: libghc-blaze-html-doc

HTML combinator-bibliotek for Haskell - dokumentation
idep: libghc-boxes-doc

2D-tekst forskønnet-udskrivning - dokumentation
idep: libghc-data-hash-doc

Kombinatorer for bygning af hurtige hashing-funktioner - dokumentation
idep: libghc-edit-distance-doc

Fuzzy-matchning for Haskell - dokumentation
idep: libghc-equivalence-doc

maintaining an equivalence relation; 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-implementering for Haskell - dokumentation
idep: libghc-regex-tdfa-doc

Haskell library for a tagged DFA regex engine; documentation
idep: libghc-strict-doc

Strict-varianter for Haskells standarddatatyper - dokumentation
idep: libghc-unordered-containers-doc

Efficient hashing-based container types; documentation
idep: libghc-uri-encode-doc

Unicode-opmærksom uri-kodning - dokumentation
idep: libghc-zlib-doc

Compression and decompression in the gzip and zlib formats; documentation

Download agda

File	Size (in kB)	MD5 checksum
agda_2.5.4.1-3.dsc	3.8 kB	47c9a42c5a4e66ce23ab7c72e9eafbbf
agda_2.5.4.1.orig.tar.gz	1,942.6 kB	a805e2803e8ca937e754e80413075f67
agda_2.5.4.1-3.debian.tar.xz	9.7 kB	840d04368b645d8e6e3ab5bce2e1a57e

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