Paquet source : agda (2.5.3-3build1)
Liens pour agda
Ressources Trisquel :
Responsable :
Original Maintainers:
- Debian Haskell Group (Archive du courrier électronique)
- Iain Lane
- Kiwamu Okabe
Ressources externes :
- Page d'accueil [wiki.portal.chalmers.se]
Les paquets binaires suivants sont compilés à partir de ce paquet source :
- agda
- dependently typed functional programming language
- agda-bin
- commandline interface to Agda
- agda-mode
- transitional dummy package for elpa-agda2-mode
- 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)
- Simplified cpp-a-like preprocessor for Haskell
-
- adep: debhelper (>= 10)
- helper programs for debian/rules
-
- adep: dh-elpa
- Debian helper tools for packaging emacs lisp extensions
-
- adep: ghc (>= 8)
- The Glasgow Haskell Compilation system
-
- adep: happy
- Parser generator for Haskell
-
- adep: haskell-devscripts (>= 0.13)
- Tools to help Debian developers build Haskell packages
-
- adep: ghc-prof
- Profiling libraries for the Glasgow Haskell Compilation system
-
- adep: libghc-edison-core-dev (>= 1.3.1.1)
- Haskell library of efficent, purely-functional data structures
-
- adep: libghc-edison-core-dev (<< 1.3.2)
- Haskell library of efficent, purely-functional data structures
-
- adep: libghc-edison-core-prof
- Haskell library of data structures; profiling libraries
-
- adep: libghc-async-dev (>= 2.0.2)
- run IO operations asynchronously and wait for their results
-
- adep: libghc-async-dev (<< 2.2)
- run IO operations asynchronously and wait for their results
-
- adep: libghc-async-prof
- run IO operations asynchronously and wait for their results; profiling libs
-
- adep: libghc-blaze-html-dev (>= 0.8)
- HTML combinator library for Haskell
-
- adep: libghc-blaze-html-dev (<< 0.10)
- HTML combinator library for Haskell
-
- adep: libghc-blaze-html-prof
- HTML combinator library for Haskell; profiling libraries
-
- 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)
- combinators for building fast hashing functions.
-
- adep: libghc-data-hash-dev (>= 0.2.0.0)
- combinators for building fast hashing functions.
-
- adep: libghc-edit-distance-dev (<< 0.3)
- Haskell fuzzy matching
-
- adep: libghc-edit-distance-prof
- Haskell fuzzy matching; profiling libraries
-
- adep: libghc-equivalence-dev (>= 0.3.2)
- maintaining an equivalence relation
-
- adep: libghc-equivalence-dev (<< 0.4)
- maintaining an equivalence relation
-
- adep: libghc-filemanip-dev (<< 0.4)
- expressive file and directory manipulation for Haskell
-
- adep: libghc-filemanip-dev (>= 0.3.6.3)
- expressive file and directory manipulation for Haskell
-
- adep: libghc-geniplate-mirror-dev (<< 0.8)
- Use Template Haskell to generate Uniplate-like functions.
-
- adep: libghc-geniplate-mirror-dev (>= 0.6.0.6)
- Use Template Haskell to generate Uniplate-like functions.
-
- adep: libghc-gitrev-dev (<< 2.0)
- compile git revision info into Haskell projects
-
- adep: libghc-gitrev-dev (>= 1.2)
- compile git revision info into Haskell projects
-
- adep: libghc-hashable-dev (<< 1.3)
- class for types that can be converted to a hash value
-
- adep: libghc-hashable-dev (>= 1.2.1.0)
- class for types that can be converted to a hash value
-
- adep: libghc-hashtables-dev
- mutable hash tables
-
- adep: libghc-ieee754-dev (<< 0.9)
- Utilities for dealing with IEEE floating point numbers
-
- adep: libghc-ieee754-dev (>= 0.7.8)
- Utilities for dealing with IEEE floating point numbers
-
- adep: libghc-ieee754-prof
- Utilities for dealing with IEEE floating point numbers; profiling libraries
-
- adep: libghc-monadplus-dev (>= 1.4)
- Haskell98 partial maps and filters over MonadPlus
-
- adep: libghc-monadplus-dev (<< 1.5)
- Haskell98 partial maps and filters over MonadPlus
-
- adep: libghc-monadplus-prof
- Haskell98 partial maps and filters over MonadPlus; profiling libraries
-
- adep: libghc-mtl-dev (>= 2.2.1)
- Haskell monad transformer library for GHC
-
- adep: libghc-mtl-dev (<< 2.3)
- Haskell monad transformer library for GHC
-
- adep: libghc-mtl-prof
- Haskell monad transformer library for GHC; profiling libraries
-
- adep: libghc-murmur-hash-dev (>= 0.1)
- MurmurHash2 implementation for Haskell.
-
- adep: libghc-murmur-hash-dev (<< 0.2)
- MurmurHash2 implementation for Haskell.
-
- adep: libghc-parallel-dev (<< 3.3)
- Haskell parallel programming library for GHC
-
- adep: libghc-parallel-dev (>= 3.2.0.4)
- Haskell parallel programming library for GHC
-
- adep: libghc-regex-tdfa-dev (<< 1.3)
- Haskell library for a tagged DFA regex engine
-
- adep: libghc-regex-tdfa-prof
- Haskell library for a tagged DFA regex engine; profiling libraries
-
- adep: libghc-stm-dev (>= 2.4.4)
- Haskell Software Transactional Memory library for GHC
-
- adep: libghc-stm-dev (<< 2.5)
- Haskell Software Transactional Memory library for GHC
-
- adep: libghc-stm-prof
- Haskell Software Transactional Memory library for GHC; profiling libraries
-
- adep: libghc-strict-dev (>= 0.3.2)
- Strict variants of standard Haskell datatypes
-
- adep: libghc-strict-dev (<< 0.4)
- Strict variants of standard Haskell datatypes
-
- adep: libghc-strict-prof
- Strict variants of standard Haskell datatypes; profiling libraries
-
- adep: libghc-text-dev (>= 0.11.3.1)
- efficient packed Unicode text type for Haskell
-
- adep: libghc-text-dev (<< 1.3)
- efficient packed Unicode text type for Haskell
-
- adep: libghc-text-prof
- efficient packed Unicode text type for Haskell; profiling libraries
-
- adep: libghc-unordered-containers-dev (>= 0.2.5.0)
- Efficient hashing-based container types
-
- adep: libghc-unordered-containers-dev (<< 0.3)
- Efficient hashing-based container types
-
- adep: libghc-unordered-containers-prof
- Efficient hashing-based container types; profiling libraries
-
- adep: libghc-uri-encode-dev (>= 1.5.0.4)
- Unicode aware uri-encoding.
-
- adep: libghc-uri-encode-dev (<< 1.6)
- Unicode aware uri-encoding.
-
- adep: libghc-uri-encode-prof
- Unicode aware uri-encoding.; profiling libraries
-
- adep: libghc-zlib-dev (>= 0.4.0.1)
- Compression and decompression in the gzip and zlib formats
-
- adep: libghc-zlib-dev (<< 0.7)
- Compression and decompression in the gzip and zlib formats
-
- adep: libghc-zlib-prof
- Compression and decompression in the gzip and zlib formats; profiling libraries
-
- idep: ghc-doc
- Documentation for the Glasgow Haskell Compilation system
-
- idep: libghc-edison-core-doc
- documentation of the Edison Haskell library
-
- idep: libghc-async-doc
- run IO operations asynchronously and wait for their results; documentation
-
- idep: libghc-blaze-html-doc
- HTML combinator library for Haskell; documentation
-
- idep: libghc-boxes-doc
- 2D text pretty-printing library; documentation
-
- idep: libghc-data-hash-doc
- combinators for building fast hashing functions.; documentation
-
- idep: libghc-edit-distance-doc
- Haskell fuzzy matching; documentation
-
- idep: libghc-equivalence-doc
- maintaining an equivalence relation; documentation
-
- idep: libghc-geniplate-mirror-doc
- Use Template Haskell to generate Uniplate-like functions.; documentation
-
- idep: libghc-gitrev-doc
- compile git revision info into Haskell projects; documentation
-
- idep: libghc-hashable-doc
- class for types that can be converted to a hash value; documentation
-
- idep: libghc-hashtables-doc
- mutable hash tables -- documentation; documentation
-
- idep: libghc-ieee754-doc
- Utilities for dealing with IEEE floating point numbers; documentation
-
- idep: libghc-monadplus-doc
- Haskell98 partial maps and filters over MonadPlus; documentation
-
- idep: libghc-mtl-doc
- Haskell monad transformer library for GHC; documentation
-
- idep: libghc-murmur-hash-doc
- MurmurHash2 implementation for Haskell.; documentation
-
- idep: libghc-parallel-doc
- Haskell parallel programming library for GHC; documentation
-
- idep: libghc-regex-tdfa-doc
- Haskell library for a tagged DFA regex engine; documentation
-
- idep: libghc-stm-doc
- Haskell Software Transactional Memory library for GHC; documentation
-
- idep: libghc-strict-doc
- Strict variants of standard Haskell datatypes; documentation
-
- idep: libghc-text-doc
- efficient packed Unicode text type for Haskell; documentation
-
- idep: libghc-unordered-containers-doc
- Efficient hashing-based container types; documentation
-
- idep: libghc-uri-encode-doc
- Unicode aware uri-encoding.; documentation
-
- idep: libghc-zlib-doc
- Compression and decompression in the gzip and zlib formats; documentation
Download agda
Fichier | Taille (en ko) | Somme MD5 |
---|---|---|
agda_2.5.3-3build1.dsc | 4,5 ko | 19276151232cbcf9f65e43b640ddbe2e |
agda_2.5.3.orig.tar.gz | 1 173,2 ko | 3cab31f59cb3f49137fb6b64ba70125f |
agda_2.5.3-3build1.debian.tar.xz | 9,6 ko | 0673e775555dd4701903086acd087f1f |
- Dépôt Debian des paquets source (VCS: Git)
- https://anonscm.debian.org/git/pkg-haskell/DHG_packages.git
- Dépôt Debian des paquets source (interface web)
- https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/agda