» Ubuntu » Paquets » disco (19.04) » math » coq-theories
xenial  ] [  bionic  ] [  cosmic  ] [  disco  ] [  eoan  ]
[ Paquet source : coq  ]

Paquet : coq-theories (8.6-5build1) [universe]

Liens pour coq-theories

Screenshot

Ressources Ubuntu :

Télécharger le paquet source coq :

Responsable :

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

Ressources externes :

Paquets similaires :

proof assistant for higher-order logic (theories)

Autres paquets associés à coq-theories

  • dépendances
  • recommandations
  • suggestions
  • enhances
  • dep: coq-8.6+4.05.0
    paquet virtuel fourni par coq
  • dep: libc6 (>= 2.1.3) [i386]
    GNU C Library: Shared libraries
    un paquet virtuel est également fourni par libc6-udeb
    dep: libc6 (>= 2.2.5) [amd64]
  • rec: coq (>= 8.0)
    proof assistant for higher-order logic (toplevel and compiler)

Télécharger coq-theories

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
amd64 32 403,9 ko234 632,0 ko [liste des fichiers]
arm64 22 266,8 ko142 383,0 ko [liste des fichiers]
armhf 22 287,3 ko142 305,0 ko [liste des fichiers]
i386 31 416,6 ko213 618,0 ko [liste des fichiers]
ppc64el 22 263,7 ko142 381,0 ko [liste des fichiers]
s390x 22 265,9 ko142 381,0 ko [liste des fichiers]