» Ubuntu » Paquets » questing (25.10) » haskell » libghc-ogma-language-smv-dev
questing  ] [  resolute  ] [  stonking  ]
[ Paquet source : haskell-ogma-language-smv  ]

Paquet : libghc-ogma-language-smv-dev (1.10.0-1) [multiverse]

Ogma: Runtime Monitor translator: SMV Language Frontend

Autres paquets associés à libghc-ogma-language-smv-dev

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger libghc-ogma-language-smv-dev

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
amd64 234,7 ko2 137,0 ko [liste des fichiers]
arm64 243,1 ko2 478,0 ko [liste des fichiers]
armhf 289,1 ko2 697,0 ko [liste des fichiers]
ppc64el 300,8 ko3 264,0 ko [liste des fichiers]
riscv64 411,4 ko4 085,0 ko [liste des fichiers]
s390x 372,7 ko4 206,0 ko [liste des fichiers]