[  etiona  ] [  nabia  ] [  aramo  ]

[ Paquet source : haskell-smtlib  ]

Liens pour libghc-smtlib-dev

Ressources Trisquel :

• Install using apturl
• Entry at directory.fsf.org
• Rapports de bogues
• Changelog
• Fichier de licence

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

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

Responsable :

• Ubuntu Developers (Archive du courrier électronique)

Original Maintainers:

• Debian Haskell Group (Archive du courrier électronique)
• Kristoffer H Rose

Paquets similaires :

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

Autres paquets associés à libghc-smtlib-dev

dépendances

recommandations

suggestions

• dep: libc6 (>= 2.17) [arm64, ppc64el]

  GNU C Library: Shared libraries
  un paquet virtuel est également fourni par libc6-udeb

  dep: libc6 (>= 2.2.5) [amd64]

  dep: libc6 (>= 2.4) [armhf]

• dep: libghc-base-dev-4.13.0.0-2f220 [amd64]

  paquet virtuel fourni par ghc

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

  paquet virtuel fourni par ghc

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

  paquet virtuel fourni par ghc

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

  paquet virtuel fourni par ghc

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

  paquet virtuel fourni par ghc

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

  paquet virtuel fourni par ghc

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

  paquet virtuel fourni par ghc

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

  paquet virtuel fourni par 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

Télécharger libghc-smtlib-dev

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

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	449,7 ko	5264 ko	[liste des fichiers]
arm64	598,7 ko	7154 ko	[liste des fichiers]
armhf	570,8 ko	5649 ko	[liste des fichiers]
ppc64el	643,0 ko	8506 ko	[liste des fichiers]