[  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.1-1build2.dsc]
• [haskell-smtlib_1.1.orig.tar.gz]
• [haskell-smtlib_1.1-1build2.debian.tar.xz]

Ansvarig:

• Ubuntu Developers (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.13.0.0-2f220 [amd64]

  virtuellt paket som tillhandahålls av ghc-prof

• dep: libghc-base-prof-4.13.0.0-5b8ba [armhf]

  virtuellt paket som tillhandahålls av ghc-prof

• dep: libghc-base-prof-4.13.0.0-bfdb4 [ppc64el]

  virtuellt paket som tillhandahålls av ghc-prof

• dep: libghc-base-prof-4.13.0.0-d4e5b [arm64]

  virtuellt paket som tillhandahålls av ghc-prof

• dep: libghc-pretty-prof-1.1.3.6-2f341 [arm64]

  virtuellt paket som tillhandahålls av ghc-prof

• dep: libghc-pretty-prof-1.1.3.6-33019 [amd64]

  virtuellt paket som tillhandahålls av ghc-prof

• dep: libghc-pretty-prof-1.1.3.6-529fa [ppc64el]

  virtuellt paket som tillhandahålls av ghc-prof

• dep: libghc-pretty-prof-1.1.3.6-96d07 [armhf]

  virtuellt paket som tillhandahålls av ghc-prof

• dep: libghc-smtlib-dev (= 1.1-1build2)

  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	379,9 kbyte	4756 kbyte	[filförteckning]
arm64	447,4 kbyte	5695 kbyte	[filförteckning]
armhf	438,3 kbyte	4157 kbyte	[filförteckning]
ppc64el	506,0 kbyte	7510 kbyte	[filförteckning]