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

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

[ Paquet source : haskell-what4  ]

Liens pour libghc-what4-doc

Ressources Ubuntu :

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

Télécharger le paquet source haskell-what4 :

• [haskell-what4_1.5.1-4build1.dsc]
• [haskell-what4_1.5.1.orig.tar.gz]
• [haskell-what4_1.5.1-4build1.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 Maintainers (usually from Debian):

• Debian Haskell Group (Archive du courrier électronique)
• Scott Talbert

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

Ressources externes :

• Page d'accueil [github.com]

Paquets similaires :

• libghc-what4-dev
• libghc-what4-prof
• coinor-libosi-doc
• libghc-managed-doc
• libghc-ixset-typed-doc
• libghc-sbv-doc
• python-tablib-doc
• libghc-data-default-class-doc
• libghc-nothunks-doc
• libjdns-dbg
• ginac-tools

Autres paquets associés à libghc-what4-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-async-doc

  run IO operations asynchronously and wait for their results; documentation

• rec: libghc-attoparsec-doc

  Fast combinator parsing for bytestrings; documentation

• rec: libghc-bifunctors-doc

  Haskell 98 bifunctors; documentation

• rec: libghc-bimap-doc

  bidirectional mapping between two key types; documentation

• rec: libghc-boundedchan-doc

  bounded (maximum-limited) channels; documentation

• rec: libghc-bv-sized-doc

  bitvector datatype parameterized by the vector width; documentation

• rec: libghc-concurrent-extra-doc

  Extra concurrency primitives; documentation

• rec: libghc-config-value-doc

  simple, layout-based value language similar to YAML/JSON; documentation

• rec: libghc-deriving-compat-doc

  backports of GHC deriving extensions; documentation

• rec: libghc-fingertree-doc

  Generic finger-tree data structure implementation in Haskell; documentation

• rec: libghc-hashable-doc

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

• rec: libghc-hashtables-doc

  mutable hash tables -- documentation; documentation

• rec: libghc-io-streams-doc

  simple, composable, and easy-to-use stream I/O; documentation

• rec: libghc-lens-doc

  Lenses, Folds and Traversals; documentation

• rec: libghc-libbf-doc

  Binding to the libBF library; documentation

• rec: libghc-megaparsec-doc

  monadic parser combinators; documentation

• rec: libghc-ordered-containers-doc

  Ordered Containers for Haskell; documentation

• rec: libghc-panic-doc

  convenient way to panic; documentation

• rec: libghc-parameterized-utils-doc

  Classes/data structures for data-kind indexed types; documentation

• rec: libghc-prettyprinter-doc

  modern, easy-to-use, extensible prettyprinter; documentation

• rec: libghc-s-cargot-doc

  flexible, extensible s-expression library; documentation

• rec: libghc-scientific-doc

  scientific notation for floating-point numbers; documentation

• rec: libghc-th-lift-doc

  derive Template Haskell's Lift class for datatypes.; documentation

• rec: libghc-th-lift-instances-doc

  Lift instances for template-haskell for common data types; documentation

• rec: libghc-unliftio-doc

  MonadUnliftIO typeclass for unlifting monads to IO; documentation

• rec: libghc-unordered-containers-doc

  Efficient hashing-based container types; documentation

• rec: libghc-utf8-string-doc

  GHC libraries for the Haskell UTF-8 library (documentation)

• rec: libghc-vector-doc

  Efficient Arrays for Haskell; documentation

• rec: libghc-versions-doc

  Types and parsers for software version numbers.; documentation

• rec: libghc-what4-dev

  Solver-agnostic symbolic values support for issuing queries

• rec: libghc-zenc-doc

  GHC style name Z-encoding and Z-decoding; documentation

• rec: libjs-mathjax

  JavaScript display engine for LaTeX and MathML

• sug: libghc-what4-prof

  Solver-agnostic symbolic values support for issuing queries; profiling libraries

Télécharger libghc-what4-doc

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

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
all	1 408,5 ko	41 755,0 ko	[liste des fichiers]