Paquet : libghc-dec-dev (0.0.6-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.2)

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

• dep: libghc-base-dev-4.18.2.1-f2473

  paquet virtuel fourni par ghc

• dep: libghc-boring-dev-0.2.2-d8b09

  paquet virtuel fourni par libghc-boring-dev

• dep: libgmp10 (>= 2:6.3.0+dfsg)

  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
s390x	24,6 ko	189,0 ko	[liste des fichiers]