» Ubuntu » Paketler » cosmic (18.10) » math » coqide
xenial  ] [  bionic  ] [  cosmic  ] [  disco  ]
[ Kaynak: coq  ]

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

coqide için bağlantılar

Screenshot

Ubuntu Kaynakları:

coq Kaynak Paketini İndir:

Geliştirici:

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

Original Maintainers (usually from Debian):

  • Debian OCaml Maintainers (Posta Arşivi)
  • Ralf Treinen
  • Samuel Mimram
  • Stéphane Glondu
  • Enrico Tassi

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

Dış Kaynaklar:

Benzer paketler:

proof assistant for higher-order logic (gtk interface)

coqide ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • enhances

coqide indir

Tüm mevcut mimariler için indir
Mimari Paket Boyutu Kurulu Boyut Dosyalar
amd64 1.508,6 kB7.679,0 kB [dosya listesi]