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

Paquet : libghc-numtype-dk-dev (0.5.0.3-3 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-3 35,8 ko390,0 ko [liste des fichiers]
amd64 0.5.0.3-3 30,8 ko282,0 ko [liste des fichiers]
arm64 0.5.0.3-3 31,4 ko292,0 ko [liste des fichiers]
armel 0.5.0.3-3 35,2 ko347,0 ko [liste des fichiers]
armhf 0.5.0.3-3 35,3 ko346,0 ko [liste des fichiers]
hppa (portage non officiel) 0.5.0.3-3 38,1 ko329,0 ko [liste des fichiers]
i386 0.5.0.3-3 35,3 ko311,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-3 34,0 ko399,0 ko [liste des fichiers]
ppc64 (portage non officiel) 0.5.0.3-3 34,2 ko389,0 ko [liste des fichiers]
ppc64el 0.5.0.3-3 34,2 ko386,0 ko [liste des fichiers]
riscv64 0.5.0.3-3 36,6 ko392,0 ko [liste des fichiers]
s390x 0.5.0.3-3 38,2 ko444,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-3 36,1 ko1 300,0 ko [liste des fichiers]
x32 (portage non officiel) 0.5.0.3-2 41,3 ko375,0 ko [liste des fichiers]