skip the navigation

Packages

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

 / Packages / bookworm (stable) / Source / haskell / agda

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

Links for agda

Debian Resources:

• Bug Reports
• Developer Information
• Debian Changelog
• Copyright File
• Debian Source Repository (Git)
• Debian Patch Tracker

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

linguaggio di programmazione funzionale tipizzato in modo dipendente

agda-bin

interfaccia a riga di comando per Agda

elpa-agda2-mode

linguaggio di programmazione funzionale tipizzato in modo dipendente - modalità Emacs

libghc-agda-dev

linguaggio di programmazione funzionale tipizzato in modo dipendente

libghc-agda-doc

linguaggio di programmazione funzionale tipizzato in modo dipendente; documentazione

Other Packages Related to agda

build-depends

build-depends-indep

• adep: alex

  generatore di analizzatore lessicale per Haskell

• adep: cdbs

  sistema di generazione comune per pacchetti Debian

• adep: cpphs (>= 1.20.2)

  preprocessore semplificato simile a cpp per Haskell

• adep: debhelper (>= 10)

  programmi ausiliari per debian/rules

• adep: dh-elpa (>= 1.16)

  strumenti ausiliari Debian per pacchettizzare estensioni Emacs Lisp

• adep: ghc (>= 8.4.3)

  sistema di compilazione Haskell Glasgow

• adep: happy

  generatore di parser per Haskell

• adep: haskell-devscripts (>= 0.13)

  strumenti Debian per compilare pacchetti Haskell (con hscolour)

• adep: ghc-prof

  librerie di profilazione per il sistema di compilazione Haskell Glasgow

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

  libreria veloce per l'analisi e la codifica di JSON

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

  libreria veloce per l'analisi e la codifica di JSON

• adep: libghc-aeson-prof

  libreria veloce per l'analisi e la codifica di JSON; librerie di profilazione

• adep: libghc-async-dev (>= 2.2)

  esegue operazioni IO in modo asincrono e attende i loro risultati

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

  esegue operazioni IO in modo asincrono e attende i loro risultati

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

  libreria di combinatori HTML per Haskell

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

  libreria di combinatori HTML per 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-boxes-prof

  2D text pretty-printing library; profiling libraries

• adep: libghc-case-insensitive-dev (>= 1.2.0.4)

  confronto di stringhe insensibile alle maiuscole

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

  confronto di stringhe insensibile alle maiuscole

• adep: libghc-case-insensitive-prof

  confronto di stringhe insensibile alle maiuscole; librerie di profilazione

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

  combinatori per costruire funzioni di hash veloci

• adep: libghc-data-hash-dev (<< 0.3)

  combinatori per costruire funzioni di hash veloci

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

  corrispondenza fuzzy per Haskell

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

  mantenimento di una relazione di equivalenza

• adep: libghc-equivalence-dev (<< 0.5)

  mantenimento di una relazione di equivalenza

• adep: libghc-equivalence-prof

  mantenimento di una relazione di equivalenza; librerie di profilazione

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

  Package not available

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

  Package not available

• adep: libghc-exceptions-prof

  Package not available

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

  compila informazioni su revisioni Git in progetti Haskell

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

  compila informazioni su revisioni Git in progetti Haskell

• adep: libghc-gitrev-prof

  compila informazioni su revisioni Git in progetti Haskell; librerie di profilazione

• adep: libghc-hashable-dev (>= 1.2.1.0)

  classe per tipi che possono essere convertiti in un valore hash

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

  classe per tipi che possono essere convertiti in un valore hash

• adep: libghc-hashable-prof

  classe per tipi che possono essere convertiti in un valore hash; librerie di profilazione

• adep: libghc-hashtables-dev (>= 1.2.0.2)

  mutable hash tables

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

  mutable hash tables

• adep: libghc-hashtables-prof

  mutable hash tables -- profiling libraries; profiling libraries

• adep: libghc-monad-control-dev (>= 1.0.1.0)

  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)

  implementazione di MurmurHash2 per Haskell

• adep: libghc-murmur-hash-dev (<< 0.2)

  implementazione di MurmurHash2 per Haskell

• adep: libghc-murmur-hash-prof

  implementazione di MurmurHash2 per Haskell; librerie di profilazione

• adep: libghc-parallel-dev (>= 3.2.2.0)

  libreria di programmazione parallela di Haskell per GHC

• adep: libghc-parallel-dev (<< 3.3)

  libreria di programmazione parallela di Haskell per GHC

• adep: libghc-parallel-prof

  libreria di programmazione parallela di Haskell per GHC; librerie di profilazione

• adep: libghc-regex-tdfa-dev (>= 1.3.1.0)

  libreria Haskell per un motore di espressioni regolari per DFA con tag

• adep: libghc-regex-tdfa-dev (<< 1.4)

  libreria Haskell per un motore di espressioni regolari per DFA con tag

• adep: libghc-regex-tdfa-prof

  libreria Haskell per un motore di espressioni regolari DFA con tag; librerie di profilazione

• adep: libghc-split-dev (>= 0.2.0.0)

  libreria Haskell per suddividere liste

• adep: libghc-split-dev (<< 0.2.4)

  libreria Haskell per suddividere liste

• adep: libghc-split-prof

  libreria Haskell per suddividere liste; librerie di profilazione

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

  varianti rigorose dei tipi di dati standard di Haskell

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

  varianti rigorose dei tipi di dati standard di Haskell

• adep: libghc-strict-prof

  varianti rigorose dei tipi di dati standard di Haskell; librerie di profilazione

• adep: libghc-unordered-containers-dev (>= 0.2.5.0)

  tipi per contenitori efficienti basati su hash

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

  tipi per contenitori efficienti basati su hash

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

  codifica di URI con gestione di Unicode

• adep: libghc-uri-encode-dev (<< 1.6)

  codifica di URI con gestione di Unicode

• adep: libghc-uri-encode-prof

  codifica di URI con gestione di Unicode; librerie di profilazione

• adep: libghc-zlib-dev (>= 0.6)

  compressione e decompressione nei formati gzip e zlib

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

  compressione e decompressione nei formati gzip e zlib

• idep: ghc-doc

  documentazione per il sistema di compilazione Haskell Glasgow

• idep: libghc-aeson-doc

  libreria veloce per l'analisi e la codifica di JSON; documentazione

• idep: libghc-async-doc

  esegue operazioni IO in modo asincrono e attende i loro risultati; documentazione

• idep: libghc-blaze-html-doc

  libreria di combinatori HTML per Haskell; documentazione

• idep: libghc-boxes-doc

  2D text pretty-printing library; documentation

• idep: libghc-case-insensitive-doc

  confronto di stringhe insensibile alle maiuscole; documentazione

• idep: libghc-data-hash-doc

  combinatori per costruire funzioni di hash veloci; documentazione

• idep: libghc-edit-distance-doc

  corrispondenza fuzzy per Haskell; documentazione

• idep: libghc-equivalence-doc

  mantenimento di una relazione di equivalenza; documentazione

• idep: libghc-exceptions-doc

  Package not available

• idep: libghc-gitrev-doc

  compila informazioni su revisioni Git in progetti Haskell; documentazione

• idep: libghc-hashable-doc

  classe per tipi che possono essere convertiti in un valore hash; documentazione

• idep: libghc-hashtables-doc

  mutable hash tables -- documentation; documentation

• idep: libghc-monad-control-doc

  Monad transformers to lift control operations; documentation

• idep: libghc-murmur-hash-doc

  implementazione di MurmurHash2 per Haskell; documentazione

• idep: libghc-parallel-doc

  libreria di programmazione parallela di Haskell per GHC; documentazione

• idep: libghc-regex-tdfa-doc

  libreria Haskell per un motore di espressioni regolari DFA con tag; documentazione

• idep: libghc-split-doc

  libreria Haskell per suddividere liste; documentazione

• idep: libghc-strict-doc

  varianti rigorose dei tipi di dati standard di Haskell; documentazione

• idep: libghc-unordered-containers-doc

  tipi per contenitori efficienti basati su hash; documentazione

• idep: libghc-uri-encode-doc

  codifica di URI con gestione di Unicode; documentazione

• idep: libghc-zlib-doc

  compressione e decompressione nei formati gzip e zlib; documentazione

Download agda

File	Size (in kB)	MD5 checksum
agda_2.6.2.2-1.1.dsc	4.3 kB	63bc6c76f4997e927de42d119bac4514
agda_2.6.2.2.orig.tar.gz	1,651.0 kB	645087903c92b4cf387d62f3a4b47d08
agda_2.6.2.2-1.1.debian.tar.xz	10.3 kB	e6a1d75ca8cdf3cdd80c8de19abb9e77

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