eLxr packages [ bianca ]
[ aria ]
Paquet source : agda (2.6.2.2-1.1)
Les paquets binaires suivants sont compilés à partir de ce paquet source :
- agda
- dependently typed functional programming language
- agda-bin
- commandline interface to Agda
- elpa-agda2-mode
- dependently typed functional programming language — emacs mode
- libghc-agda-dev
- dependently typed functional programming language
- libghc-agda-doc
- dependently typed functional programming language; documentation
Autres paquets associés à agda
|
|
-
- adep: alex
- lexical analyser generator for Haskell
-
- adep: cdbs
- common build system for Debian packages
-
- adep: cpphs (>= 1.20.2)
- Paquet indisponible
-
- adep: debhelper (>= 10)
- helper programs for debian/rules
-
- adep: dh-elpa (>= 1.16)
- Debian helper tools for packaging emacs lisp extensions
-
- adep: ghc (>= 8.4.3)
- Paquet indisponible
-
- adep: happy
- Paquet indisponible
-
- adep: haskell-devscripts (>= 0.13)
- Paquet indisponible
-
- adep: ghc-prof
- Paquet indisponible
-
- adep: libghc-aeson-dev (>= 1.1.2.0)
- Paquet indisponible
-
- adep: libghc-aeson-dev (<< 2.1)
- Paquet indisponible
-
- adep: libghc-aeson-prof
- Paquet indisponible
-
- adep: libghc-async-dev (>= 2.2)
- Paquet indisponible
-
- adep: libghc-async-dev (<< 2.3)
- Paquet indisponible
-
- adep: libghc-blaze-html-dev (>= 0.8)
- Paquet indisponible
-
- adep: libghc-blaze-html-dev (<< 0.10)
- Paquet indisponible
-
- adep: libghc-boxes-dev (>= 0.1.3)
- Paquet indisponible
-
- adep: libghc-boxes-dev (<< 0.2)
- Paquet indisponible
-
- adep: libghc-boxes-prof
- Paquet indisponible
-
- adep: libghc-case-insensitive-dev (>= 1.2.0.4)
- Paquet indisponible
-
- adep: libghc-case-insensitive-dev (<< 1.3)
- Paquet indisponible
-
- adep: libghc-case-insensitive-prof
- Paquet indisponible
-
- adep: libghc-data-hash-dev (>= 0.2.0.0)
- Paquet indisponible
-
- adep: libghc-data-hash-dev (<< 0.3)
- Paquet indisponible
-
- adep: libghc-edit-distance-dev (<< 0.3)
- Paquet indisponible
-
- adep: libghc-equivalence-dev (>= 0.3.2)
- Paquet indisponible
-
- adep: libghc-equivalence-dev (<< 0.5)
- Paquet indisponible
-
- adep: libghc-equivalence-prof
- Paquet indisponible
-
- adep: libghc-exceptions-dev (>= 0.8)
- Paquet indisponible
-
- adep: libghc-exceptions-dev (<< 0.11)
- Paquet indisponible
-
- adep: libghc-exceptions-prof
- Paquet indisponible
-
- adep: libghc-gitrev-dev (>= 1.3.1)
- Paquet indisponible
-
- adep: libghc-gitrev-dev (<< 2.0)
- Paquet indisponible
-
- adep: libghc-gitrev-prof
- Paquet indisponible
-
- adep: libghc-hashable-dev (>= 1.2.1.0)
- Paquet indisponible
-
- adep: libghc-hashable-dev (<< 1.5)
- Paquet indisponible
-
- adep: libghc-hashable-prof
- Paquet indisponible
-
- adep: libghc-hashtables-dev (>= 1.2.0.2)
- Paquet indisponible
-
- adep: libghc-hashtables-dev (<< 1.4)
- Paquet indisponible
-
- adep: libghc-hashtables-prof
- Paquet indisponible
-
- adep: libghc-monad-control-dev (>= 1.0.1.0)
- Paquet indisponible
-
- adep: libghc-monad-control-dev (<< 1.1)
- Paquet indisponible
-
- adep: libghc-monad-control-prof
- Paquet indisponible
-
- adep: libghc-murmur-hash-dev (>= 0.1)
- Paquet indisponible
-
- adep: libghc-murmur-hash-dev (<< 0.2)
- Paquet indisponible
-
- adep: libghc-murmur-hash-prof
- Paquet indisponible
-
- adep: libghc-parallel-dev (>= 3.2.2.0)
- Paquet indisponible
-
- adep: libghc-parallel-dev (<< 3.3)
- Paquet indisponible
-
- adep: libghc-parallel-prof
- Paquet indisponible
-
- adep: libghc-regex-tdfa-dev (>= 1.3.1.0)
- Paquet indisponible
-
- adep: libghc-regex-tdfa-dev (<< 1.4)
- Paquet indisponible
-
- adep: libghc-regex-tdfa-prof
- Paquet indisponible
-
- adep: libghc-split-dev (>= 0.2.0.0)
- Paquet indisponible
-
- adep: libghc-split-dev (<< 0.2.4)
- Paquet indisponible
-
- adep: libghc-split-prof
- Paquet indisponible
-
- adep: libghc-strict-dev (>= 0.3.2)
- Paquet indisponible
-
- adep: libghc-strict-dev (<< 0.5)
- Paquet indisponible
-
- adep: libghc-strict-prof
- Paquet indisponible
-
- adep: libghc-unordered-containers-dev (>= 0.2.5.0)
- Paquet indisponible
-
- adep: libghc-unordered-containers-dev (<< 0.3)
- Paquet indisponible
-
- adep: libghc-uri-encode-dev (>= 1.5.0.4)
- Paquet indisponible
-
- adep: libghc-uri-encode-dev (<< 1.6)
- Paquet indisponible
-
- adep: libghc-uri-encode-prof
- Paquet indisponible
-
- adep: libghc-zlib-dev (>= 0.6)
- Paquet indisponible
-
- adep: libghc-zlib-dev (<< 0.7)
- Paquet indisponible
-
- idep: ghc-doc
- Paquet indisponible
-
- idep: libghc-aeson-doc
- Paquet indisponible
-
- idep: libghc-async-doc
- Paquet indisponible
-
- idep: libghc-blaze-html-doc
- Paquet indisponible
-
- idep: libghc-boxes-doc
- Paquet indisponible
-
- idep: libghc-case-insensitive-doc
- Paquet indisponible
-
- idep: libghc-data-hash-doc
- Paquet indisponible
-
- idep: libghc-edit-distance-doc
- Paquet indisponible
-
- idep: libghc-equivalence-doc
- Paquet indisponible
-
- idep: libghc-exceptions-doc
- Paquet indisponible
-
- idep: libghc-gitrev-doc
- Paquet indisponible
-
- idep: libghc-hashable-doc
- Paquet indisponible
-
- idep: libghc-hashtables-doc
- Paquet indisponible
-
- idep: libghc-monad-control-doc
- Paquet indisponible
-
- idep: libghc-murmur-hash-doc
- Paquet indisponible
-
- idep: libghc-parallel-doc
- Paquet indisponible
-
- idep: libghc-regex-tdfa-doc
- Paquet indisponible
-
- idep: libghc-split-doc
- Paquet indisponible
-
- idep: libghc-strict-doc
- Paquet indisponible
-
- idep: libghc-unordered-containers-doc
- Paquet indisponible
-
- idep: libghc-uri-encode-doc
- Paquet indisponible
-
- idep: libghc-zlib-doc
- Paquet indisponible
Download agda
| Fichier | Taille (en ko) | Somme MD5 |
|---|---|---|
| agda_2.6.2.2-1.1.debian.tar.xz | 10,3 ko | e6a1d75ca8cdf3cdd80c8de19abb9e77 |
| agda_2.6.2.2-1.1.dsc | 4,3 ko | 63bc6c76f4997e927de42d119bac4514 |
| agda_2.6.2.2.orig.tar.gz | 1 651,0 ko | 645087903c92b4cf387d62f3a4b47d08 |
- Dépôt Debian des paquets source (VCS: Git)
- https://salsa.debian.org/haskell-team/DHG_packages.git [p/agda]
- Dépôt Debian des paquets source (interface web)
- https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/agda