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

Paket: alt-ergo (1.30+dfsg1-1) [universe]

alt-ergo için bağlantılar

Screenshot

Ubuntu Kaynakları:

alt-ergo 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):

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

Dış Kaynaklar:

Benzer paketler:

Automatic theorem prover dedicated to program verification

alt-ergo ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • enhances
  • dep: libc6 (>= 2.17)
    GNU C Library: Shared libraries
    ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb
  • dep: libgdk-pixbuf2.0-0 (>= 2.22.0)
    GDK Pixbuf library
  • dep: libglib2.0-0 (>= 2.35.9)
    GLib library of C routines
  • dep: libgmp10
    Multiprecision arithmetic library
  • dep: libgtk2.0-0 (>= 2.24.31)
    GTK+ graphical user interface library
  • dep: libgtksourceview2.0-0 (>= 2.10.0)
    shared libraries for the GTK+ syntax highlighting widget
  • dep: libpango-1.0-0 (>= 1.14.0)
    Layout and rendering of internationalized text
  • dep: zlib1g (>= 1:1.1.4)
    compression library - runtime
  • sug: why
    Software verification tool for C and Java

alt-ergo indir

Tüm mevcut mimariler için indir
Mimari Paket Boyutu Kurulu Boyut Dosyalar
amd64 3.025,1 kB16.325,0 kB [dosya listesi]