skip the navigation

Packages

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

 / Packages / sid (unstable) / 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 (>= 2.1.5)

  strumenti ausiliari Debian per pacchettizzare estensioni Emacs Lisp

• adep: ghc (>= 9.4)

  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-stmonadtrans-dev (>= 0.4.3)

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

  libreria veloce per l'analisi e la codifica di JSON

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

  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-ansi-terminal-dev (>= 0.9)

  semplice gestione di un terminale ANSI con compatibilità con Windows

• adep: libghc-ansi-terminal-dev (<< 1.2)

  semplice gestione di un terminale ANSI con compatibilità con Windows

• adep: libghc-ansi-terminal-prof

  semplice gestione di un terminale ANSI con compatibilità con Windows; 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-data-hash-prof

  combinatori per costruire funzioni di hash veloci; librerie di profilazione

• adep: libghc-dlist-dev (>= 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.1.2)

  corrispondenza fuzzy per Haskell

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

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

  libreria Haskell per suddividere liste

• adep: libghc-split-prof

  libreria Haskell per suddividere liste; librerie di profilazione

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

  varianti rigorose dei tipi di dati standard di Haskell

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

  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-time-compat-dev (>= 1.9.2)

  compatibilità con old-time per il pacchetto time

• adep: libghc-time-compat-dev (<< 1.10)

  compatibilità con old-time per il pacchetto time

• adep: libghc-time-compat-prof

  compatibilità con old-time per il pacchetto time; librerie di profilazione

• adep: libghc-unordered-containers-dev (>= 0.2.9.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-vector-dev (>= 0.12)

  array efficienti per Haskell

• adep: libghc-vector-dev (<< 0.14)

  array efficienti per Haskell

• adep: libghc-vector-prof

  array efficienti per Haskell; librerie di profilazione

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

  compressione e decompressione nei formati gzip e zlib

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

  compressione e decompressione nei formati gzip e zlib

• adep: libghc-zlib-prof

  compressione e decompressione nei formati gzip e zlib; librerie di profilazione

• idep: ghc-doc

  documentazione per il sistema di compilazione Haskell Glasgow

• idep: libghc-stmonadtrans-doc

  monad transformer version of the ST monad; documentation

• idep: libghc-aeson-doc

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

• idep: libghc-ansi-terminal-doc

  semplice gestione di un terminale ANSI con compatibilità con Windows; 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-dlist-doc

  Haskell library for Differences lists; documentation

• 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-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-peano-doc

  lazy unary natural numbers; documentation

• 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-time-compat-doc

  compatibilità con old-time per il pacchetto time; 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-vector-doc

  array efficienti per Haskell; documentazione

• idep: libghc-vector-hashtables-doc

  efficient vector-based mutable hashtables implementation; documentation

• idep: libghc-zlib-doc

  compressione e decompressione nei formati gzip e zlib; documentazione

Download agda

File	Size (in kB)	MD5 checksum
agda_2.6.4.3-1.dsc	5.1 kB	25a199441916fcbee1b0b2532216fb79
agda_2.6.4.3.orig.tar.gz	1,825.6 kB	8a27f437e1c7a822c1e191c802de5d35
agda_2.6.4.3-1.debian.tar.xz	10.2 kB	d39bca04b6137deb3462b25204c8a4ec

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