toutes les options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Paquet source : haskell-numtype-dk  ]

Paquet : libghc-numtype-dk-dev (0.5.0.3-2 et autres)

Liens pour libghc-numtype-dk-dev

Screenshot

Ressources Debian :

Télécharger le paquet source haskell-numtype-dk :

Responsables :

Ressources externes :

Paquets similaires :

type-level integers without fundeps

This package provides type level representations of the (positive and negative) integers and basic operations (addition, subtraction, multiplication, division, exponentiation) on these. The numtype-dk package differs from the numtype package in that the NumTypes are implemented using Data Kinds, TypeNats, and Closed Type Families rather than Functional Dependencies.

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-numtype-dk-dev

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger libghc-numtype-dk-dev

Télécharger pour toutes les architectures proposées
Architecture Version Taille du paquet Espace occupé une fois installé Fichiers
alpha (portage non officiel) 0.5.0.3-2+b1 36,7 ko390,0 ko [liste des fichiers]
amd64 0.5.0.3-2+b1 32,3 ko279,0 ko [liste des fichiers]
arm64 0.5.0.3-2+b1 32,9 ko290,0 ko [liste des fichiers]
armel 0.5.0.3-2+b2 35,5 ko336,0 ko [liste des fichiers]
armhf 0.5.0.3-2+b2 35,6 ko335,0 ko [liste des fichiers]
hppa (portage non officiel) 0.5.0.3-2+b4 39,4 ko329,0 ko [liste des fichiers]
i386 0.5.0.3-2+b1 38,1 ko306,0 ko [liste des fichiers]
ia64 (portage non officiel) 0.5.0.3-2+b1 36,8 ko401,0 ko [liste des fichiers]
m68k (portage non officiel) 0.5.0.3-2 34,9 ko304,0 ko [liste des fichiers]
mips64el 0.5.0.3-2+b1 36,0 ko398,0 ko [liste des fichiers]
ppc64 (portage non officiel) 0.5.0.3-2+b1 36,2 ko391,0 ko [liste des fichiers]
ppc64el 0.5.0.3-2+b1 36,6 ko386,0 ko [liste des fichiers]
riscv64 0.5.0.3-2+b2 36,8 ko381,0 ko [liste des fichiers]
s390x 0.5.0.3-2+b1 38,5 ko433,0 ko [liste des fichiers]
sh4 (portage non officiel) 0.5.0.3-1 35,4 ko399,0 ko [liste des fichiers]
sparc64 (portage non officiel) 0.5.0.3-2+b2 38,8 ko406,0 ko [liste des fichiers]
x32 (portage non officiel) 0.5.0.3-2 41,3 ko375,0 ko [liste des fichiers]