[  etiona  ] [  nabia  ] [  aramo  ]

Liens pour agda

Ressources Trisquel :

• Rapports de bogues
• Changelog
• Fichier de licence
• Dépôt de source Debian (Git)

Responsable :

• Debian Haskell Group (Archive du courrier électronique)

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

build-depends

build-depends-indep

• 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