Source Package: agda (2.8.0-2)
Links for agda
Debian Resources:
- Bug Reports
- Developer Information
- Debian Changelog
- Copyright File
- Debian Source Repository (Git)
- Debian Patch Tracker
Maintainer:
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
|
|
-
- adep: alex
- generatore di analizzatore lessicale per Haskell
-
- adep: dh-sequence-haskell
- virtual package provided by dh-haskell
-
- adep: cpphs (>= 1.20.2)
- preprocessore semplificato simile a cpp per Haskell
-
- adep: debhelper-compat (= 13)
- Package not available
-
- 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.5)
- 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.4.7.1)
- 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.10.3)
- 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.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-async-prof
- esegue operazioni IO in modo asincrono e attende i loro risultati; librerie di profilazione
-
- adep: libghc-blaze-html-dev (>= 0.9.1.2)
- libreria di combinatori HTML per Haskell
-
- adep: libghc-blaze-html-dev (<< 0.10)
- libreria di combinatori HTML per Haskell
-
- adep: libghc-blaze-html-prof
- libreria di combinatori HTML per Haskell; librerie di profilazione
-
- adep: libghc-boxes-dev (>= 0.1.5)
- 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.1.0)
- 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.1)
- 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.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.2.1)
- corrispondenza fuzzy per Haskell
-
- adep: libghc-edit-distance-dev (<< 0.3)
- corrispondenza fuzzy per Haskell
-
- adep: libghc-edit-distance-prof
- corrispondenza fuzzy per Haskell; librerie di profilazione
-
- adep: libghc-enummapset-dev (>= 0.6.0.3)
- IntMap and IntSet with Enum keys/elements
-
- adep: libghc-enummapset-dev (<< 0.8)
- IntMap and IntSet with Enum keys/elements
-
- adep: libghc-enummapset-prof
- IntMap and IntSet with Enum keys/elements; profiling libraries
-
- adep: libghc-equivalence-dev (>= 0.3.5)
- 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-filelock-dev (>= 0.1.1.5)
- interfaccia portabile per lock di file (flock / LockFileEx)
-
- adep: libghc-filelock-dev (<< 0.2)
- interfaccia portabile per lock di file (flock / LockFileEx)
-
- adep: libghc-filelock-prof
- interfaccia portabile per lock di file (flock / LockFileEx); librerie di profilazione
-
- adep: libghc-filemanip-dev (>= 0.3.6.3)
- manipolazione espressiva di file e directory per Haskell
-
- adep: libghc-filemanip-dev (<< 0.4)
- manipolazione espressiva di file e directory per Haskell
-
- adep: libghc-filemanip-prof
- manipolazione espressiva di file e directory per Haskell - librerie di profilazione
-
- adep: libghc-generic-data-dev (>= 0.9.2.0)
- derivazione di istanze con GHC.Generics e utilità correlate
-
- adep: libghc-generic-data-dev (<< 1.2)
- derivazione di istanze con GHC.Generics e utilità correlate
-
- adep: libghc-generic-data-prof
- derivazione di istanze con GHC.Generics e utilità correlate; librerie di profilazione
-
- 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.3.0.0)
- classe per tipi che possono essere convertiti in un valore hash
-
- adep: libghc-hashable-dev (<< 1.6)
- 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.2.3)
- 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.0.9)
- 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-nonempty-containers-dev (>= 0.3.4.1)
- Non-empty variants of containers data types, with full API
-
- adep: libghc-nonempty-containers-dev (<< 0.4)
- Non-empty variants of containers data types, with full API
-
- adep: libghc-nonempty-containers-prof
- Non-empty variants of containers data types, with full API; profiling libraries
-
- 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-pqueue-dev (>= 1.4.1.3)
- code di priorità affidabili, persistenti e veloci
-
- adep: libghc-pqueue-dev (<< 1.6)
- code di priorità affidabili, persistenti e veloci
-
- adep: libghc-pqueue-prof
- code di priorità affidabili, persistenti e veloci; librerie di profilazione
-
- adep: libghc-process-extras-dev (>= 0.7.4)
- Extra functionality for the Process library
-
- adep: libghc-process-extras-dev (<< 0.8)
- Extra functionality for the Process library
-
- adep: libghc-process-extras-prof
- Extra functionality for the Process library; 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.3.4)
- 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-unordered-containers-dev (>= 0.2.10.0)
- tipi per contenitori efficienti basati su hash
-
- adep: libghc-unordered-containers-dev (<< 0.3)
- tipi per contenitori efficienti basati su hash
-
- adep: libghc-unordered-containers-prof
- tipi per contenitori efficienti basati su hash; librerie di profilazione
-
- adep: libghc-uri-encode-dev (>= 1.5.0.7)
- 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.1.2)
- 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.2.2)
- 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-enummapset-doc
- IntMap and IntSet with Enum keys/elements; documentation
-
- idep: libghc-equivalence-doc
- mantenimento di una relazione di equivalenza; documentazione
-
- idep: libghc-filelock-doc
- interfaccia portabile per lock di file (flock / LockFileEx); documentazione
-
- idep: libghc-filemanip-doc
- manipolazione espressiva di file e directory per Haskell - documentazione
-
- idep: libghc-generic-data-doc
- derivazione di istanze con GHC.Generics e utilità correlate; 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-monad-control-doc
- Monad transformers to lift control operations; documentation
-
- idep: libghc-murmur-hash-doc
- implementazione di MurmurHash2 per Haskell; documentazione
-
- idep: libghc-nonempty-containers-doc
- Non-empty variants of containers data types, with full API; documentation
-
- idep: libghc-parallel-doc
- libreria di programmazione parallela di Haskell per GHC; documentazione
-
- idep: libghc-peano-doc
- lazy unary natural numbers; documentation
-
- idep: libghc-pqueue-doc
- code di priorità affidabili, persistenti e veloci; documentazione
-
- idep: libghc-process-extras-doc
- Extra functionality for the Process library; 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-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.8.0-2.dsc | 5.8 kB | 9a94dd7a3264cf4abb75cf9173a9da47 |
| agda_2.8.0.orig.tar.gz | 1,906.2 kB | d8cca2bca1d80034f486ad499a00e5e9 |
| agda_2.8.0-2.debian.tar.xz | 10.4 kB | 7a01160f5dddfa1a7bf19fc4feee63bf |
- 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