Paquet : libghc-dec-dev (0.0.5-1)

[ Paquet source : haskell-dec  ]

decidable propositions

This package provides a Dec type for decidable (nullary) relations.

This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

Autres paquets associés à libghc-dec-dev

• dep: libc6 (>= 2.4)

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-udeb

• dep: libghc-base-dev-4.15.1.0-0d25e

  paquet virtuel fourni par ghc

• dep: libghc-boring-dev-0.2-508e0

  paquet virtuel fourni par libghc-boring-dev

• dep: libgmp10 (>= 2:6.2.1+dfsg1)

  Bibliothèque arithmétique à multi-précision

Télécharger libghc-dec-dev

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

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
armel	22,3 ko	135,0 ko	[liste des fichiers]