toutes les options
[  bullseye  ] [  bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Paquet source : haskell-genvalidity-property  ]

Paquet : libghc-genvalidity-property-dev (1.0.0.0-4 et autres)

Liens pour libghc-genvalidity-property-dev

Screenshot

Ressources Debian :

Télécharger le paquet source haskell-genvalidity-property :

Responsables :

Ressources externes :

Paquets similaires :

standard properties for functions on Validity types

Properties of functions, operations, and 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-genvalidity-property-dev

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger libghc-genvalidity-property-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) 1.0.0.0-4 149,6 ko2 056,0 ko [liste des fichiers]
amd64 1.0.0.0-4+b1 110,4 ko1 463,0 ko [liste des fichiers]
arm64 1.0.0.0-4+b1 114,7 ko1 580,0 ko [liste des fichiers]
armel 1.0.0.0-4 145,9 ko1 830,0 ko [liste des fichiers]
armhf 1.0.0.0-4 144,4 ko1 814,0 ko [liste des fichiers]
hppa (portage non officiel) 1.0.0.0-4+b1 175,3 ko1 993,0 ko [liste des fichiers]
i386 1.0.0.0-4+b1 154,1 ko1 700,0 ko [liste des fichiers]
ia64 (portage non officiel) 1.0.0.0-3+b1 162,7 ko3 020,0 ko [liste des fichiers]
loong64 (portage non officiel) 1.0.0.0-4+b1 187,8 ko2 637,0 ko [liste des fichiers]
m68k (portage non officiel) 1.0.0.0-2+b1 151,6 ko1 759,0 ko [liste des fichiers]
mips64el 1.0.0.0-4 143,6 ko2 056,0 ko [liste des fichiers]
ppc64 (portage non officiel) 1.0.0.0-4 139,2 ko2 031,0 ko [liste des fichiers]
ppc64el 1.0.0.0-4 141,7 ko1 935,0 ko [liste des fichiers]
riscv64 1.0.0.0-4 174,4 ko2 346,0 ko [liste des fichiers]
s390x 1.0.0.0-4 169,3 ko2 515,0 ko [liste des fichiers]
sparc64 (portage non officiel) 1.0.0.0-4 160,4 ko2 808,0 ko [liste des fichiers]
x32 (portage non officiel) 1.0.0.0-2 169,2 ko1 869,0 ko [liste des fichiers]