Source Package: matita (0.5.8-2)
Links for matita
Debian Resources:
- Bug Reports
- Developer Information (PTS)
- Debian Changelog
- Copyright File
- Debian Source Repository (Subversion)
- Debian Patch Tracker
Maintainers:
- Debian OCaml Maintainers (QA Page, Mail Archive)
- Enrico Tassi (QA Page)
- Stefano Zacchiroli (QA Page)
External Resources:
- Homepage [matita.cs.unibo.it]
The following binary packages are built from this source package:
- matita
- interactive theorem prover
- matita-doc
- user manual of the Matita interactive theorem prover
Other Packages Related to matita
|
|
-
- adep: ocaml (>= 3.10.2)
- ML language implementation with a class-based object system
-
- adep: ocaml-findlib (>= 1.2.1-2)
- management tool for OCaml libraries
-
- adep: libgdome2-ocaml-dev
- OCaml bindings for GDome2 DOM implementation
-
- adep: liblablgtk2-ocaml-dev
- OCaml bindings to Gtk+ version 2
-
- adep: liblablgtkmathview-ocaml-dev (>= 0.7.8-3)
- OCaml bindings for libgtkmathview, a GTK widget to render MathML
-
- adep: libsqlite3-ocaml-dev
- Embeddable SQL Database for OCaml Programs
-
- 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 (>= 5)
- helper programs for debian/rules
-
- adep: cdbs
- common build system for Debian packages
-
- adep: libmysql-ocaml-dev
- OCaml bindings for MySql
-
- 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: dpatch
- patch maintenance system for Debian source packages
-
- adep: help2man
- Automatic manpage generator
-
- adep: libgtkmathview-dev (>= 0.8.0-2)
- rendering engine for MathML documents
-
- idep: xsltproc
- XSLT 1.0 command line processor
-
- idep: dblatex
- Produces DVI, PostScript, PDF documents from DocBook sources
-
- idep: docbook-xsl
- stylesheets for processing DocBook XML to various output formats
-
- idep: docbook-xml
- standard XML documentation system for software and systems
Download matita
| File | Size (in kB) | MD5 checksum |
|---|---|---|
| matita_0.5.8-2.dsc | 1.7 kB | 0160cf486979eb5aee72d54f43fc8336 |
| matita_0.5.8.orig.tar.gz | 5,741.2 kB | ef3faccd0d6a399abcdd01f20a278353 |
| matita_0.5.8-2.diff.gz | 5.1 kB | 879a6c609a8ea707e5d12711e1808669 |
- Debian Package Source Repository (VCS: Subversion)
- svn://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/matita/trunk
- Debian Package Source Repository (Browsable)
- http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/