toutes les options
bullseye  ] [  bookworm  ] [  trixie  ] [  forky  ] [  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+b1 27,5 ko279,0 ko [liste des fichiers]
arm64 0.5.0.3-3+b1 28,1 ko289,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+b1 31,6 ko343,0 ko [liste des fichiers]
hppa (portage non officiel) 0.5.0.3-3+b1 34,8 ko326,0 ko [liste des fichiers]
i386 0.5.0.3-3+b1 32,1 ko308,0 ko [liste des fichiers]
ia64 (portage non officiel) 0.5.0.3-2+b1 36,8 ko401,0 ko [liste des fichiers]
loong64 (portage non officiel) 0.5.0.3-3+b1 37,7 ko505,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]