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

Paquet : libaac-tactics-ocaml-dev (8.8.0+1.gbp069dc3b-1)

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 Taille du paquet Espace occupé une fois installé Fichiers
alpha (portage non officiel) 37,0 ko393,0 ko [liste des fichiers]
amd64 37,1 ko393,0 ko [liste des fichiers]
arm64 37,1 ko393,0 ko [liste des fichiers]
armel 37,0 ko393,0 ko [liste des fichiers]
armhf 37,1 ko393,0 ko [liste des fichiers]
hppa (portage non officiel) 37,0 ko393,0 ko [liste des fichiers]
i386 37,1 ko393,0 ko [liste des fichiers]
mips 37,0 ko393,0 ko [liste des fichiers]
mips64el 37,0 ko393,0 ko [liste des fichiers]
mipsel 37,0 ko393,0 ko [liste des fichiers]
powerpcspe (portage non officiel) 37,0 ko393,0 ko [liste des fichiers]
ppc64 (portage non officiel) 37,1 ko393,0 ko [liste des fichiers]
ppc64el 37,1 ko393,0 ko [liste des fichiers]
riscv64 (portage non officiel) 37,0 ko393,0 ko [liste des fichiers]
s390x 37,1 ko393,0 ko [liste des fichiers]
sh4 (portage non officiel) 37,0 ko393,0 ko [liste des fichiers]
sparc64 (portage non officiel) 37,0 ko393,0 ko [liste des fichiers]
x32 (portage non officiel) 37,0 ko393,0 ko [liste des fichiers]