» Ubuntu » Paketler » bionic (18.04LTS) » math » coqide
xenial  ] [  bionic  ] [  cosmic  ] [  disco  ] [  eoan  ]
[ 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]
arm64 1.662,1 kB8.393,0 kB [dosya listesi]
armhf 1.411,1 kB5.101,0 kB [dosya listesi]
i386 1.356,4 kB6.128,0 kB [dosya listesi]
ppc64el 1.742,6 kB9.443,0 kB [dosya listesi]
s390x 1.787,6 kB9.775,0 kB [dosya listesi]