» Ubuntu » Pakketten » bionic (18.04LTS) » math » coqide
xenial  ] [  bionic  ] [  cosmic  ] [  disco  ] [  eoan  ]
[ Bron: coq  ]

Pakket: coqide (8.6-5build1) [universe]

Verwijzigingen voor coqide

Screenshot

Ubuntu bronnen:

Het bronpakket coq downloaden:

Beheerder:

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

Original Maintainers (usually from Debian):

  • Debian OCaml Maintainers (Mailarchief)
  • Ralf Treinen
  • Samuel Mimram
  • Stéphane Glondu
  • Enrico Tassi

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

Externe bronnen:

Vergelijkbare pakketten:

proof assistant for higher-order logic (gtk interface)

Andere aan coqide gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

coqide downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Pakketgrootte Geïnstalleerde grootte Bestanden
amd64 1.508,6 kB7.679,0 kB [overzicht]
arm64 1.662,1 kB8.393,0 kB [overzicht]
armhf 1.411,1 kB5.101,0 kB [overzicht]
i386 1.356,4 kB6.128,0 kB [overzicht]
ppc64el 1.742,6 kB9.443,0 kB [overzicht]
s390x 1.787,6 kB9.775,0 kB [overzicht]