toutes les options
bullseye  ] [  bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Paquet source : haskell-type-level-numbers  ]

Paquet : libghc-type-level-numbers-prof (0.1.1.2-3 et autres)

Liens pour libghc-type-level-numbers-prof

Screenshot

Ressources Debian :

Télécharger le paquet source haskell-type-level-numbers :

Responsable :

Ressources externes :

Paquets similaires :

library representing integers using Haskell type families; profiling libraries

This library represents numbers in Haskell at the level of types. This is achieved by means of type families.

Numbers up to 2^18-1 can be represented.

In this version of the package, comparison of numbers, subtraction and multiplication of numbers is supported.

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

Autres paquets associés à libghc-type-level-numbers-prof

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger libghc-type-level-numbers-prof

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.1.1.2-3 117,1 ko1 177,0 ko [liste des fichiers]
amd64 0.1.1.2-3+b1 95,4 ko860,0 ko [liste des fichiers]
arm64 0.1.1.2-3+b1 103,6 ko991,0 ko [liste des fichiers]
armel 0.1.1.2-3 122,3 ko1 073,0 ko [liste des fichiers]
armhf 0.1.1.2-3+b1 117,8 ko1 060,0 ko [liste des fichiers]
hppa (portage non officiel) 0.1.1.2-3+b1 131,0 ko1 043,0 ko [liste des fichiers]
i386 0.1.1.2-3+b1 113,1 ko851,0 ko [liste des fichiers]
ia64 (portage non officiel) 0.1.1.2-2+b1 134,0 ko2 008,0 ko [liste des fichiers]
loong64 (portage non officiel) 0.1.1.2-3+b1 156,4 ko1 806,0 ko [liste des fichiers]
m68k (portage non officiel) 0.1.1.2-2 115,2 ko896,0 ko [liste des fichiers]
mips64el 0.1.1.2-3 113,7 ko1 150,0 ko [liste des fichiers]
ppc64 (portage non officiel) 0.1.1.2-3 111,0 ko1 202,0 ko [liste des fichiers]
ppc64el 0.1.1.2-3 113,9 ko1 177,0 ko [liste des fichiers]
riscv64 0.1.1.2-3 159,1 ko1 752,0 ko [liste des fichiers]
s390x 0.1.1.2-3 128,5 ko1 560,0 ko [liste des fichiers]
sh4 (portage non officiel) 0.1.1.1-6+b1 103,5 ko874,0 ko [liste des fichiers]
sparc64 (portage non officiel) 0.1.1.2-3 124,9 ko1 496,0 ko [liste des fichiers]
x32 (portage non officiel) 0.1.1.2-2 118,4 ko993,0 ko [liste des fichiers]