packages
[ Quellcode: matita ]
Paket: matita (0.99.1-1) [universe]
Links für matita
Ubuntu-Ressourcen:
Quellcode-Paket matita herunterladen:
Betreuer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (E-Mail-Archiv)
- Enrico Tassi
It should generally not be necessary for users to contact the original maintainer.
Externe Ressourcen:
- Homepage [matita.cs.unibo.it]
Ähnliche Pakete:
interactive theorem prover
Andere Pakete mit Bezug zu matita
|
|
|
-
- dep: libc6 (>= 2.15)
- Embedded GNU C Library: Shared libraries
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
-
- dep: libexpat1 (>= 2.0.1)
- XML parsing C library - runtime library
-
- dep: libgdk-pixbuf2.0-0 (>= 2.22.0)
- GDK Pixbuf library
-
- dep: libglade2-0 (>= 1:2.6.1)
- library to load .glade files at runtime
-
- dep: libglib2.0-0 (>= 2.24.0)
- GLib library of C routines
-
- dep: libgtk2.0-0 (>= 2.24.0)
- GTK+ graphical user interface library
-
- dep: libgtksourceview2.0-0 (>= 2.10.0)
- shared libraries for the GTK+ syntax highlighting widget
-
- dep: libpango1.0-0 (>= 1.14.0)
- Layout and rendering of internationalized text
-
- dep: libpcre3 (>= 8.10)
- Perl 5 Compatible Regular Expression Library - runtime files
-
- dep: zlib1g (>= 1:1.1.4)
- compression library - runtime
matita herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| amd64 | 3.863,1 kB | 12.046,0 kB | [Liste der Dateien] |
| i386 | 3.268,1 kB | 8.998,0 kB | [Liste der Dateien] |