noms de paquets descriptions noms de paquets source contenu du paquet toutes les options

[  jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

[ Paquet source : agda  ]

Liens pour libghc-agda-doc

Ressources Ubuntu :

• Rapports de bogues
• Journal des modifications Ubuntu
• Fichier de licence

Télécharger le paquet source agda :

• [agda_2.6.4.3-1.dsc]
• [agda_2.6.4.3.orig.tar.gz]
• [agda_2.6.4.3-1.debian.tar.xz]

Responsable :

• Ubuntu MOTU Developers (Archive du courrier électronique)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

• Debian Haskell Group (Archive du courrier électronique)

It should generally not be necessary for users to contact the original maintainer.

Ressources externes :

• Page d'accueil [wiki.portal.chalmers.se]

Paquets similaires :

• libghc-agda-dev
• elpa-agda2-mode
• elixir
• faust
• libfsharp-core4.3-cil
• libfsharp-data-typeproviders4.4-cil
• fsharp
• libfaust2
• libfaust-static
• libfaust2t64
• faust-common

Autres paquets associés à libghc-agda-doc

dépendances

recommandations

suggestions

enhances

• dep: haddock-interface-42

  paquet virtuel fourni par ghc

• rec: ghc-doc

  Documentation for the Glasgow Haskell Compilation system

• rec: libghc-aeson-doc

  Fast JSON parsing and encoding library; documentation

• rec: libghc-agda-dev

  dependently typed functional programming language

• rec: libghc-ansi-terminal-doc

  Simple ANSI terminal support, with Windows compatibility; documentation

• rec: libghc-async-doc

  run IO operations asynchronously and wait for their results; documentation

• rec: libghc-blaze-html-doc

  HTML combinator library for Haskell; documentation

• rec: libghc-boxes-doc

  2D text pretty-printing library; documentation

• rec: libghc-case-insensitive-doc

  case-insensitive string comparison; documentation

• rec: libghc-data-hash-doc

  combinators for building fast hashing functions.; documentation

• rec: libghc-dlist-doc

  Haskell library for Differences lists; documentation

• rec: libghc-edit-distance-doc

  Haskell fuzzy matching; documentation

• rec: libghc-equivalence-doc

  maintaining an equivalence relation; documentation

• rec: libghc-gitrev-doc

  compile git revision info into Haskell projects; documentation

• rec: libghc-hashable-doc

  class for types that can be converted to a hash value; documentation

• rec: libghc-monad-control-doc

  Monad transformers to lift control operations; documentation

• rec: libghc-murmur-hash-doc

  MurmurHash2 implementation for Haskell.; documentation

• rec: libghc-parallel-doc

  Haskell parallel programming library for GHC; documentation

• rec: libghc-peano-doc

  lazy unary natural numbers; documentation

• rec: libghc-regex-tdfa-doc

  Haskell library for a tagged DFA regex engine; documentation

• rec: libghc-split-doc

  Haskell library for splitting lists; documentation

• rec: libghc-stmonadtrans-doc

  monad transformer version of the ST monad; documentation

• rec: libghc-strict-doc

  Strict variants of standard Haskell datatypes; documentation

• rec: libghc-time-compat-doc

  Compatibility with old-time for the time package; documentation

• rec: libghc-unordered-containers-doc

  Efficient hashing-based container types; documentation

• rec: libghc-uri-encode-doc

  Unicode aware uri-encoding.; documentation

• rec: libghc-vector-doc

  Efficient Arrays for Haskell; documentation

• rec: libghc-vector-hashtables-doc

  efficient vector-based mutable hashtables implementation; documentation

• rec: libghc-zlib-doc

  Compression and decompression in the gzip and zlib formats; documentation

• rec: libjs-mathjax

  JavaScript display engine for LaTeX and MathML

Télécharger libghc-agda-doc

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
all	6 533,8 ko	181 241,0 ko	[liste des fichiers]