Source Package: agda (2.5.4.1-3)
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
- agda-mode
- pacchetto fittizio di transizione per elpa-agda2-mode
- 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: 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
- 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: 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-edison-core-dev (>= 1.3.2.1)
- libreria Haskell per strutture dati puramente funzionali ed efficienti
-
- adep: libghc-edison-core-dev (<< 1.4)
- libreria Haskell per strutture dati puramente funzionali ed efficienti
-
- 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-filemanip-dev (<< 0.4)
- manipolazione espressiva di file e directory per Haskell
-
- adep: libghc-filemanip-dev (>= 0.3.6.3)
- manipolazione espressiva di file e directory per Haskell
-
- 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-hashable-dev (<< 1.3)
- classe per tipi che possono essere convertiti in un valore hash
-
- 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-regex-tdfa-dev (>= 1.2.2)
- libreria Haskell per un motore di espressioni regolari per DFA con tag
-
- adep: libghc-regex-tdfa-dev (<< 1.3)
- libreria Haskell per un motore di espressioni regolari per DFA con tag
-
- 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-zlib-dev (>= 0.4.0.1)
- 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-edison-core-doc
- documentazione della libreria Haskell Edison
-
- 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-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-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.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