[  etiona  ] [  nabia  ] [  aramo  ]

[ Paquet source : haskell-presburger  ]

Liens pour libghc-presburger-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-presburger :

• [haskell-presburger_1.3.1-7.dsc]
• [haskell-presburger_1.3.1.orig.tar.gz]
• [haskell-presburger_1.3.1-7.debian.tar.xz]

Responsable :

• Debian Haskell Group (Archive du courrier électronique)

Original Maintainers:

• Debian Haskell Group (Archive du courrier électronique)
• Clint Adams

Ressources externes :

• Page d'accueil [github.com]

Paquets similaires :

• libghc-presburger-prof
• libghc-log-domain-dev
• libghc-linear-dev
• libghc-hmatrix-dev
• libghc-log-domain-doc
• libghc-log-domain-prof
• libghc-linear-doc
• libghc-hmatrix-doc
• libghc-linear-prof
• libghc-hmatrix-prof
• libghc-dbus-dev

Autres paquets associés à libghc-presburger-dev

dépendances

recommandations

suggestions

• dep: libatomic1 (>= 4.8)

  support library providing __atomic built-in functions

• dep: libc6 (>= 2.2.5) [amd64]

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

  dep: libc6 (>= 2.4) [armhf]

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

  paquet virtuel fourni par ghc

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

  paquet virtuel fourni par ghc

• dep: libghc-containers-dev-0.6.0.1-05eb4 [armhf]

  paquet virtuel fourni par ghc

• dep: libghc-containers-dev-0.6.0.1-b7319 [amd64]

  paquet virtuel fourni par ghc

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

  paquet virtuel fourni par ghc

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

  paquet virtuel fourni par ghc

• dep: libgmp10

  Multiprecision arithmetic library

• sug: libghc-presburger-doc

  decision procedure for quantifier-free linear arithmetic; documentation

• sug: libghc-presburger-prof

  decision procedure for quantifier-free linear arithmetic; profiling libraries

Télécharger libghc-presburger-dev

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

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	156,2 ko	1359 ko	[liste des fichiers]
armhf	212,4 ko	1610 ko	[liste des fichiers]