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

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

Liens pour libaac-tactics-ocaml

Screenshot

Ressources Debian :

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

Responsables :

Ressources externes :

Paquets similaires :

tactiques Coq pour raisonner modulo AC — greffon

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 le greffon proprement dit.

Autres paquets associés à libaac-tactics-ocaml

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger libaac-tactics-ocaml

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 27,0 ko135,0 ko [liste des fichiers]
amd64 8.11.0-1+b1 106,7 ko486,0 ko [liste des fichiers]
arm64 8.11.0-1+b1 116,8 ko559,0 ko [liste des fichiers]
hppa (portage non officiel) 8.9.0-1+b1 26,7 ko130,0 ko [liste des fichiers]
ia64 (portage non officiel) 8.9.0-1+b1 26,7 ko130,0 ko [liste des fichiers]
ppc64 (portage non officiel) 8.11.0-1+b2 111,5 ko586,0 ko [liste des fichiers]
ppc64el 8.11.0-1+b1 110,6 ko586,0 ko [liste des fichiers]
riscv64 (portage non officiel) 8.9.0-1+b1 26,7 ko130,0 ko [liste des fichiers]
sh4 (portage non officiel) 8.11.0-1+b2 25,3 ko115,0 ko [liste des fichiers]
sparc64 (portage non officiel) 8.8.0+1.gbp069dc3b-1+b2 26,7 ko131,0 ko [liste des fichiers]
x32 (portage non officiel) 8.9.0-1+b1 26,7 ko130,0 ko [liste des fichiers]