» Ubuntu » Paketit » disco (19.04) » math » coqide
xenial  ] [  bionic  ] [  cosmic  ] [  disco  ] [  eoan  ]
[ Source: coq  ]

Paketti: coqide (8.6-5build1) [ports] [universe]

Links for coqide

Screenshot

Ubuntu-palvelut:

Imuroi lähdekoodipaketti coq:

Ylläpitäjä:

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

Original Maintainers (usually from Debian):

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

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

External Resources:

Samankaltaisia paketteja:

proof assistant for higher-order logic (gtk interface)

Muut pakettiin coqide liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi coqide

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
armhf 1,411.1 kt5,101.0 kt [tiedostoluettelo]