[  etiona  ] [  nabia  ] [  aramo  ]

[ Källkod: haskell-smtlib  ]

Länkar för libghc-smtlib-prof

Trisquelresurser:

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

Hämta källkodspaketet haskell-smtlib:

• [haskell-smtlib_1.0.9-2build1.dsc]
• [haskell-smtlib_1.0.9.orig.tar.gz]
• [haskell-smtlib_1.0.9-2build1.debian.tar.xz]

Ansvarig:

• Debian Haskell Group (E-postarkiv)

Original Maintainers:

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

Liknande paket:

• libghc-smtlib-doc
• libghc-simple-smt-prof
• libghc-random-prof
• libghc-constraints-extras-prof
• libghc-url-prof
• libghc-mime-prof
• libghc-src-exts-util-prof
• libghc-uri-prof
• libghc-polynomial-prof
• libghc-set-extra-prof
• libghc-constraints-prof

Andra paket besläktade med libghc-smtlib-prof

beror

rekommenderar

föreslår

• dep: libghc-base-prof-4.12.0.0-a86a1 [amd64]

  virtuellt paket som tillhandahålls av ghc-prof

• dep: libghc-base-prof-4.12.0.0-a9692 [armhf]

  virtuellt paket som tillhandahålls av ghc-prof

• dep: libghc-pretty-prof-1.1.3.6-4f0eb [amd64]

  virtuellt paket som tillhandahålls av ghc-prof

• dep: libghc-pretty-prof-1.1.3.6-93d09 [armhf]

  virtuellt paket som tillhandahålls av ghc-prof

• dep: libghc-smtlib-dev (= 1.0.9-2build1)

  A library for working with the SMTLIB format.

Hämta libghc-smtlib-prof

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Paketstorlek	Installerad storlek	Filer
amd64	380,7 kbyte	4746 kbyte	[filförteckning]
armhf	432,8 kbyte	4158 kbyte	[filförteckning]