Source Package: matita (0.99.1-1)
Links for matita
Debian Resources:
- Bug Reports
- Developer Information (PTS)
- Debian Changelog
- Copyright File
- Debian Source Repository (Git)
- Debian Patch Tracker
Maintainers:
External Resources:
- Homepage [matita.cs.unibo.it]
The following binary packages are built from this source package:
- matita
- Interaktiver Beweiser von Lehrsätzen
Other Packages Related to matita
|
|
-
- adep: ocaml (>= 3.10.2)
- Implementierung der Sprache ML mit einem klassenbasierten Objektsystem
-
- adep: ocaml-findlib (>= 1.2.1-2)
- management tool for OCaml libraries
-
- adep: libgdome2-ocaml-dev
- OCaml-Bindungen für die DOM-Implementation GDome2
-
- adep: liblablgtk2-ocaml-dev
- OCaml bindings to Gtk+ version 2
-
- adep: libocamlnet-ocaml-dev
- OCaml application-level Internet libraries - core development libraries
-
- adep: libzip-ocaml-dev
- OCaml compression libraries (development files)
-
- adep: libhttp-ocaml-dev
- OCaml library for writing HTTP servers
-
- adep: ocaml-ulex08 (>= 0.8-4)
- OCaml lexer generator with Unicode support - CamlP5 version
-
- adep: libexpat-ocaml-dev
- OCaml expat bindings
-
- adep: debhelper (>= 8)
- Hilfsprogramme für debian/rules
-
- adep: camlp5 (>= 5.04)
- Pre Processor Pretty Printer for OCaml - classical version
-
- adep: liblablgtksourceview2-ocaml-dev
- OCaml bindings for libgtksourceview2, a source editor GTK+ widget
-
- adep: autoconf
- Erstellt automatisch configure-Skripte
-
- adep: help2man
- Automatischer Handbuchseiten-Generator
Download matita
| File | Size (in kB) | MD5 checksum |
|---|---|---|
| matita_0.99.1-1.dsc | 1.5 kB | b2cf1bae29c64e48586bc217b6af1a97 |
| matita_0.99.1.orig.tar.gz | 10,123.1 kB | 57b80c202f003c7bd7ab2c453070425a |
| matita_0.99.1-1.debian.tar.gz | 4.3 kB | 9efa6ac21db7fcde7b246a0ae9c38209 |
- Debian Package Source Repository (VCS: Git)
- git://git.debian.org/git/pkg-ocaml-maint/packages/matita.git
- Debian Package Source Repository (Browsable)
- http://git.debian.org/?p=pkg-ocaml-maint/packages/matita.git