[  etiona  ] [  nabia  ] [  aramo  ]

[ Pakiet źródłowy: haskell-smtlib  ]

Odnośniki dla libghc-smtlib-dev

Zasoby systemu Trisquel:

• Install using apturl
• Entry at directory.fsf.org
• Raporty o błędach
• Changelog
• Informacje nt. praw autorskich

Pobieranie pakietu źródłowego haskell-smtlib:

• [haskell-smtlib_1.1-1build2.dsc]
• [haskell-smtlib_1.1.orig.tar.gz]
• [haskell-smtlib_1.1-1build2.debian.tar.xz]

Opiekun:

• Ubuntu Developers (Archiwum e-mail)

Original Maintainers:

• Debian Haskell Group (Archiwum e-mail)
• Kristoffer H Rose

Podobne pakiety:

• 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

Inne pakiety związane z libghc-smtlib-dev

wymaga

poleca

sugeruje

• dep: libc6 (>= 2.2.5)

  GNU C Library: Shared libraries
  również pakiet wirtualny udostępniany przez libc6-udeb

• dep: libghc-base-dev-4.13.0.0-2f220

  pakiet wirtualny udostępniany przez ghc

• dep: libghc-pretty-dev-1.1.3.6-33019

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

Pobieranie libghc-smtlib-dev

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	449,7 KiB	5264 KiB	[lista plików]