skip the navigation

Packages

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

 / Packages / bullseye (oldstable) / 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 per aiutare gli sviluppatori Debian a generare pacchetti Haskell

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

  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-data-hash-dev (<< 0.3)

  combinatori per costruire funzioni di hash veloci

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

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

  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)

  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)

  uso di Template Haskell per generare funzioni in stile Uniplate

• adep: libghc-geniplate-mirror-dev (<< 0.8)

  uso di Template Haskell per generare funzioni in stile Uniplate

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

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

  mutable hash tables

• adep: libghc-ieee754-dev (>= 0.7.8)

  utilità per lavorare con numeri in virgola mobile IEEE

• adep: libghc-ieee754-dev (<< 0.9)

  utilità per lavorare con numeri in virgola mobile IEEE

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

  varianti rigorose dei tipi di dati standard di Haskell

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

  extensible optionally-pure exceptions; documentation

• idep: libghc-geniplate-mirror-doc

  uso di Template Haskell per generare funzioni in stile Uniplate; documentazione

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

  utilità per lavorare con numeri in virgola mobile IEEE; documentazione

• idep: libghc-murmur-hash-doc

  implementazione di MurmurHash2 per Haskell; 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.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

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