eLxr packages [ bianca ]
[ Paquet source : haskell-dec ]
Paquet : libghc-dec-prof (0.0.6-1 et autres)
Liens pour libghc-dec-prof
Télécharger le paquet source haskell-dec :
Responsables :
Ressources externes :
- Page d'accueil [github.com]
Paquets similaires :
decidable propositions; profiling libraries
This package provides a Dec type for decidable (nullary) relations.
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-dec-prof
|
|
|
|
-
- dep: libghc-base-prof-4.18.2.1-75247 [arm64]
- paquet virtuel fourni par ghc-prof
-
- dep: libghc-base-prof-4.18.2.1-8e81e [amd64]
- paquet virtuel fourni par ghc-prof
-
- dep: libghc-boring-prof-0.2.2-23470 [amd64]
- paquet virtuel fourni par libghc-boring-prof
-
- dep: libghc-boring-prof-0.2.2-df497 [arm64]
- paquet virtuel fourni par libghc-boring-prof
-
- dep: libghc-dec-dev (= 0.0.6-1+b1)
- decidable propositions
Télécharger libghc-dec-prof
| Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|---|
| amd64 | 0.0.6-1+b1 | 14,3 ko | 87,0 ko | [liste des fichiers] |
| arm64 | 0.0.6-1+b1 | 15,4 ko | 99,0 ko | [liste des fichiers] |