w nazwach pakietów w opisach w nazwach pakietów źródłowych w zawartości pakietów wszystkie opcje

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

[ Pakiet źródłowy: agda  ]

Odnośniki dla libghc-agda-doc

Zasoby systemu Ubuntu:

• Raporty o błędach
• Dziennik zmian w systemie Ubuntu
• Informacje nt. praw autorskich

Pobieranie pakietu źródłowego 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]

Opiekun:

• Ubuntu MOTU Developers (Archiwum e-mail)

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

Original Maintainer (usually from Debian):

• Debian Haskell Group (Archiwum e-mail)

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

Zasoby zewnętrzne:

• Strona internetowa [wiki.portal.chalmers.se]

Podobne pakiety:

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

Inne pakiety związane z libghc-agda-doc

wymaga

poleca

sugeruje

enhances

• dep: haddock-interface-42

  pakiet wirtualny udostępniany przez 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

Pobieranie libghc-agda-doc

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
all	6 533,8 KiB	181 241,0 KiB	[lista plików]