toutes les options
stretch  ] [  sid  ]
[ Paquet source : aac-tactics  ]

Paquet : libaac-tactics-ocaml-dev (8.11.0-1 et autres)

Liens pour libaac-tactics-ocaml-dev

Screenshot

Ressources Debian :

Télécharger le paquet source aac-tactics :

Responsables :

Ressources externes :

Paquets similaires :

tactiques Coq pour raisonner modulo AC — fichiers de développement

Ce greffon fournit des tactiques pour la réécriture des équations universelles quantifiées, modulo des opérateurs d'associativité (et possiblement de commutativité).

Ce paquet fournit la bibliothèque statique de code natif, nécessaire à la compilation de premier niveau personnalisée, et l'interface compilée.

Étiquettes: Développement de logiciel: Bibliothèques, Rôle: Bibliothèque de programmation

Autres paquets associés à libaac-tactics-ocaml-dev

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger libaac-tactics-ocaml-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) 8.8.0+1.gbp069dc3b-1+b2 37,3 ko394,0 ko [liste des fichiers]
amd64 8.11.0-1+b1 38,4 ko362,0 ko [liste des fichiers]
arm64 8.11.0-1+b1 38,4 ko362,0 ko [liste des fichiers]
hppa (portage non officiel) 8.9.0-1+b1 40,0 ko402,0 ko [liste des fichiers]
ia64 (portage non officiel) 8.9.0-1+b1 40,0 ko402,0 ko [liste des fichiers]
ppc64 (portage non officiel) 8.11.0-1+b2 38,4 ko362,0 ko [liste des fichiers]
ppc64el 8.11.0-1+b1 38,4 ko362,0 ko [liste des fichiers]
riscv64 (portage non officiel) 8.9.0-1+b1 40,0 ko402,0 ko [liste des fichiers]
sh4 (portage non officiel) 8.11.0-1+b2 38,3 ko362,0 ko [liste des fichiers]
sparc64 (portage non officiel) 8.8.0+1.gbp069dc3b-1+b2 40,0 ko403,0 ko [liste des fichiers]
x32 (portage non officiel) 8.9.0-1+b1 40,0 ko402,0 ko [liste des fichiers]