[  etiona  ] [  nabia  ] [  aramo  ]

[ Källkod: haskell-smtlib  ]

Länkar för libghc-smtlib-dev

Trisquelresurser:

• Install using apturl
• Entry at directory.fsf.org
• Felrapporter
• Changelog
• Upphovsrättsfil

Hämta källkodspaketet haskell-smtlib:

• [haskell-smtlib_1.0.8-3build1.dsc]
• [haskell-smtlib_1.0.8.orig.tar.gz]
• [haskell-smtlib_1.0.8-3build1.debian.tar.xz]

Ansvarig:

• Debian Haskell Group (E-postarkiv)

Original Maintainers:

• Debian Haskell Group (E-postarkiv)
• Kristoffer H Rose

Liknande paket:

• libghc-smtlib-prof
• libghc-simple-smt-dev
• libghc-simple-smt-doc
• libghc-simple-smt-prof
• libghc-random-dev
• libghc-src-exts-util-dev
• libghc-polynomial-dev
• libghc-url-dev
• libghc-uri-dev
• libghc-src-exts-util-doc
• libghc-src-exts-util-prof

Andra paket besläktade med libghc-smtlib-dev

beror

rekommenderar

föreslår

• dep: libc6 (>= 2.2.5)

  GNU C Library: Shared libraries
  också ett virtuellt paket som tillhandahålls av libc6-udeb

• dep: libghc-base-dev-4.9.1.0-d28d6

  virtuellt paket som tillhandahålls av ghc

• dep: libghc-pretty-dev-1.1.3.3-912de

  virtuellt paket som tillhandahålls av ghc

• dep: libgmp10

  Multiprecision arithmetic library

• sug: libghc-smtlib-doc

  A library for working with the SMTLIB format.; documentation

• sug: libghc-smtlib-prof

  A library for working with the SMTLIB format.; profiling libraries

Hämta libghc-smtlib-dev

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Paketstorlek	Installerad storlek	Filer
amd64	425,6 kbyte	4979 kbyte	[filförteckning]