» Ubuntu » Paketler » cosmic (18.10) » math » minlog
xenial  ] [  bionic  ] [  cosmic  ] [  disco  ] [  eoan  ]
[ Kaynak: minlog  ]

Paket: minlog (4.0.99.20100221-6) [universe]

minlog için bağlantılar

Screenshot

Ubuntu Kaynakları:

minlog Kaynak Paketini İndir:

Geliştirici:

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

Original Maintainer (usually from Debian):

  • Debian QA Group

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

Dış Kaynaklar:

Benzer paketler:

Proof assistant based on first order natural deduction calculus

minlog ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • enhances
  • sug: proofgeneral-minlog
    Paket mevcut değil
  • sug: quack-el
    Paket mevcut değil

minlog indir

Tüm mevcut mimariler için indir
Mimari Paket Boyutu Kurulu Boyut Dosyalar
all 2.568,0 kB7.555,0 kB [dosya listesi]