matita_0.99.1-3_amd64.deb


Advertisement

Description

matita - interactive theorem prover

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name matita
Package version 0.99.1
Package release 3
Package architecture amd64
Package type deb
Installed size 12.57 KB
Download size 2.55 MB
Official Mirror ftp.br.debian.org
Matita is a graphical interactive theorem prover based on the Calculus of
(Co)Inductive Constructions.

Alternatives

Package Version Architecture Repository
matita_0.99.1-3_i386.deb 0.99.1 i386 Debian Main
matita - - -

Requires

Name Value
libatk1.0-0 >= 1.12.4
libc6 >= 2.15
libcairo2 >= 1.2.4
libexpat1 >= 2.0.1
libfontconfig1 >= 2.11
libfreetype6 >= 2.2.1
libgdk-pixbuf2.0-0 >= 2.22.0
libglade2-0 >= 1:2.6.1
libglib2.0-0 >= 2.35.9
libgtk2.0-0 >= 2.24.0
libgtksourceview2.0-0 >= 2.10.0
libpango-1.0-0 >= 1.14.0
libpangocairo-1.0-0 >= 1.14.0
libpangoft2-1.0-0 >= 1.14.0
libpcre3 >= 8.10
libxml2 >= 2.6.27
zlib1g >= 1:1.1.4

Download

Type URL
Binary Package matita_0.99.1-3_amd64.deb
Source Package matita

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install matita deb package:
    # sudo apt-get install matita

Files

Path
/usr/bin/matita
/usr/bin/matita.opt
/usr/bin/matitac
/usr/bin/matitac.opt
/usr/bin/matitaclean
/usr/share/applications/matita.desktop
/usr/share/doc/matita/changelog.Debian.gz
/usr/share/doc/matita/copyright
/usr/share/man/man1/matitac.1.gz
/usr/share/man/man1/matitac.opt.1.gz
/usr/share/man/man1/matitaclean.1.gz
/usr/share/matita/AUTHORS
/usr/share/matita/LICENSE
/usr/share/matita/closed.xml
/usr/share/matita/matita.conf.xml
/usr/share/matita/matita.gtkrc
/usr/share/matita/matita.lang
/usr/share/matita/matita.ma.templ
/usr/share/matita/help/C/Makefile
/usr/share/matita/help/C/TODO
/usr/share/matita/help/C/declarative_tactics_quickref.xml
/usr/share/matita/help/C/docbook.css
/usr/share/matita/help/C/legal.xml
/usr/share/matita/help/C/matita.xml
/usr/share/matita/help/C/sec_commands.xml
/usr/share/matita/help/C/sec_declarative_tactics.xml
/usr/share/matita/help/C/sec_gettingstarted.xml
/usr/share/matita/help/C/sec_install.xml
/usr/share/matita/help/C/sec_intro.xml
/usr/share/matita/help/C/sec_license.xml
/usr/share/matita/help/C/sec_tacticals.xml
/usr/share/matita/help/C/sec_tactics.xml
/usr/share/matita/help/C/sec_terms.xml
/usr/share/matita/help/C/sec_usernotation.xml
/usr/share/matita/help/C/tactic_quickref.xml
/usr/share/matita/help/C/tactics_quickref.xml
/usr/share/matita/help/C/version.txt
/usr/share/matita/help/C/version.txt.in
/usr/share/matita/help/C/xhtml1-transitional.dtd
/usr/share/matita/help/C/figures/database.dia
/usr/share/matita/help/C/figures/database.png
/usr/share/matita/help/C/figures/matita.png
/usr/share/matita/help/C/figures/vbox1.png
/usr/share/matita/help/C/figures/vbox2.png
/usr/share/matita/help/C/figures/vbox3.png
/usr/share/matita/help/C/figures/vbox35.png
/usr/share/matita/help/C/figures/vbox4.png
/usr/share/matita/help/C/figures/vbox5.png
/usr/share/matita/help/C/figures/vbox6.png
/usr/share/matita/help/C/figures/vbox7.png
/usr/share/matita/help/C/scripts/fix-symbols.sh
/usr/share/matita/help/C/xsl/matita-fo.xsl
/usr/share/matita/help/C/xsl/matita-xhtml.xsl
/usr/share/matita/help/C/xsl/tactic_quickref.xsl
/usr/share/matita/icons/matita-32.xpm
/usr/share/matita/icons/matita-bulb-high.png
/usr/share/matita/icons/matita-bulb-low.png
/usr/share/matita/icons/matita-bulb-medium.png
/usr/share/matita/icons/matita-folder.png
/usr/share/matita/icons/matita-object.png
/usr/share/matita/icons/matita-theory.png
/usr/share/matita/icons/matita.png
/usr/share/matita/icons/matita_medium.png
/usr/share/matita/icons/matita_small.png
/usr/share/matita/icons/matita_very_small.png
/usr/share/matita/icons/meegg.png
/usr/share/matita/icons/whelp.png
/usr/share/matita/icons/whelp.svg
/usr/share/matita/lib/hints_declaration.ma
/usr/share/matita/lib/root
/usr/share/matita/lib/arithmetics/bigops.ma
/usr/share/matita/lib/arithmetics/binomial.ma
/usr/share/matita/lib/arithmetics/chinese_reminder.ma
/usr/share/matita/lib/arithmetics/congruence.ma
/usr/share/matita/lib/arithmetics/div_and_mod.ma
/usr/share/matita/lib/arithmetics/exp.ma
/usr/share/matita/lib/arithmetics/factorial.ma
/usr/share/matita/lib/arithmetics/gcd.ma
/usr/share/matita/lib/arithmetics/log.ma
/usr/share/matita/lib/arithmetics/minimization.ma
/usr/share/matita/lib/arithmetics/nat.ma
/usr/share/matita/lib/arithmetics/nat_commented.ma
/usr/share/matita/lib/arithmetics/nth_prime.ma
/usr/share/matita/lib/arithmetics/primes.ma
/usr/share/matita/lib/arithmetics/sigma_pi.ma
/usr/share/matita/lib/basics/bool.ma
/usr/share/matita/lib/basics/core_notation.ma
/usr/share/matita/lib/basics/deqsets.ma
/usr/share/matita/lib/basics/jmeq.ma
/usr/share/matita/lib/basics/logic.ma
/usr/share/matita/lib/basics/pts.ma
/usr/share/matita/lib/basics/relations.ma
/usr/share/matita/lib/basics/russell.ma
/usr/share/matita/lib/basics/sets.ma
/usr/share/matita/lib/basics/star.ma
/usr/share/matita/lib/basics/types.ma
/usr/share/matita/lib/basics/lists/list.ma
/usr/share/matita/lib/basics/lists/listb.ma
/usr/share/matita/lib/formal_topology/apply_functor.ma
/usr/share/matita/lib/formal_topology/basic_pairs.ma
/usr/share/matita/lib/formal_topology/basic_pairs_to_basic_topologies.ma
/usr/share/matita/lib/formal_topology/basic_pairs_to_o-basic_pairs.ma
/usr/share/matita/lib/formal_topology/basic_topologies.ma
/usr/share/matita/lib/formal_topology/basic_topologies_to_o-basic_topologies.ma
/usr/share/matita/lib/formal_topology/categories.ma
/usr/share/matita/lib/formal_topology/concrete_spaces.ma
/usr/share/matita/lib/formal_topology/concrete_spaces_to_o-concrete_spaces.ma
/usr/share/matita/lib/formal_topology/cprop_connectives.ma
/usr/share/matita/lib/formal_topology/formal_topologies.ma
/usr/share/matita/lib/formal_topology/notation.ma
/usr/share/matita/lib/formal_topology/o-algebra.ma
/usr/share/matita/lib/formal_topology/o-basic_pairs.ma
/usr/share/matita/lib/formal_topology/o-basic_pairs_to_o-basic_topologies.ma
/usr/share/matita/lib/formal_topology/o-basic_topologies.ma
/usr/share/matita/lib/formal_topology/o-concrete_spaces.ma
/usr/share/matita/lib/formal_topology/o-formal_topologies.ma
/usr/share/matita/lib/formal_topology/o-saturations.ma
/usr/share/matita/lib/formal_topology/r-o-basic_pairs.ma
/usr/share/matita/lib/formal_topology/relations.ma
/usr/share/matita/lib/formal_topology/relations_to_o-algebra.ma
/usr/share/matita/lib/formal_topology/replace.sh
/usr/share/matita/lib/formal_topology/saturations.ma
/usr/share/matita/lib/formal_topology/saturations_to_o-saturations.ma
/usr/share/matita/lib/formal_topology/subsets.ma
/usr/share/matita/lib/lambda/CC2FO_K.ma
/usr/share/matita/lib/lambda/CC2FO_K_cube.ma
/usr/share/matita/lib/lambda/arity.ma
/usr/share/matita/lib/lambda/arity_eval.ma
/usr/share/matita/lib/lambda/convertibility.ma
/usr/share/matita/lib/lambda/cube.ma
/usr/share/matita/lib/lambda/degree.ma
/usr/share/matita/lib/lambda/ext.ma
/usr/share/matita/lib/lambda/ext_lambda.ma
/usr/share/matita/lib/lambda/inversion.ma
/usr/share/matita/lib/lambda/lambda_notation.ma
/usr/share/matita/lib/lambda/lift.ma
/usr/share/matita/lib/lambda/par_reduction.ma
/usr/share/matita/lib/lambda/rc_eval.ma
/usr/share/matita/lib/lambda/rc_hsat.ma
/usr/share/matita/lib/lambda/rc_sat.ma
/usr/share/matita/lib/lambda/reduction.ma
/usr/share/matita/lib/lambda/sn.ma
/usr/share/matita/lib/lambda/subject.ma
/usr/share/matita/lib/lambda/subst.ma
/usr/share/matita/lib/lambda/subterms.ma
/usr/share/matita/lib/lambda/terms.ma
/usr/share/matita/lib/lambda/types.ma
/usr/share/matita/lib/lambdaN/arity.ma
/usr/share/matita/lib/lambdaN/arity_eval.ma
/usr/share/matita/lib/lambdaN/convertibility.ma
/usr/share/matita/lib/lambdaN/cube.ma
/usr/share/matita/lib/lambdaN/ext.ma
/usr/share/matita/lib/lambdaN/ext_lambda.ma
/usr/share/matita/lib/lambdaN/inversion.ma
/usr/share/matita/lib/lambdaN/lambda_notation.ma
/usr/share/matita/lib/lambdaN/par_reduction.ma
/usr/share/matita/lib/lambdaN/rc_eval.ma
/usr/share/matita/lib/lambdaN/rc_hsat.ma
/usr/share/matita/lib/lambdaN/rc_sat.ma
/usr/share/matita/lib/lambdaN/reduction.ma
/usr/share/matita/lib/lambdaN/sn.ma
/usr/share/matita/lib/lambdaN/subject.ma
/usr/share/matita/lib/lambdaN/subst.ma
/usr/share/matita/lib/lambdaN/subterms.ma
/usr/share/matita/lib/lambdaN/terms.ma
/usr/share/matita/lib/lambdaN/thinning.ma
/usr/share/matita/lib/lambdaN/types.ma
/usr/share/matita/lib/re/lang.ma
/usr/share/matita/lib/re/moves.ma
/usr/share/matita/lib/re/re.ma
/usr/share/matita/lib/re/reb.ma
/usr/share/menu/matita

Changelog

2013-12-10 - Enrico Tassi <gareuselesinge@debian.org>
matita (0.99.1-3) unstable; urgency=medium
* Fix FTBFS w.r.t. lablgtk2 2.16 by updating findlinb name for gtksourceview
(Closes: #731702) 
* New patch to help the type checker in nCicUntrusted.set_kind
2013-10-02 - Enrico Tassi <gareuselesinge@debian.org>
matita (0.99.1-2) unstable; urgency=low
* Fix clean target (Closes: 724163) 
2012-05-06 - Enrico Tassi <gareuselesinge@debian.org>
matita (0.99.1-1) unstable; urgency=low
* New upstream release
* Removed package matita-doc (doc is available via F1)
* Switch to dh
* Add matita.desktop
* Remove the following patches (integrated upstream):
- Fix-FTBFS-with-camlp5-6.05
- matita.conf.xml.in
- slist-sep
- numbers
- native-compilers
* New patch 'configure' to avoid useless build-dep on mysql ocaml bindings
* Cleanup debian 
2012-04-01 - Stéphane Glondu <glondu@debian.org>
matita (0.5.8-4) unstable; urgency=medium
* Team upload
* Fix FTBFS with camlp5 6.05 (Closes: #666594)
2011-05-31 - Stéphane Glondu <glondu@debian.org>
matita (0.5.8-3) unstable; urgency=low
[ Stéphane Glondu ]
* Team upload
* Switch packaging to git
* Switch source package format to 3.0 (quilt)
* Remove Stefano from Uploaders
[ Colin Watson ]
* Apply r11210 from upstream SVN to account for changes in the
signatures of Gramext.Slist0sep and Gramext.Slist1sep (Closes: #612891)
2009-12-04 - Enrico Tassi <gareuselesinge@debian.org>
matita (0.5.8-2) unstable; urgency=low
* Conflict and replace matita-standard-library (Closes: #559261)
* suggest matita-doc
2009-12-02 - Enrico Tassi <gareuselesinge@debian.org>
matita (0.5.8-1) unstable; urgency=low
* New upstream release supporting lablgtksourceview2
* Added docbook-xsl and docbook-xml as build-depend-indep (Closes: #532289)
* Removed debian/patches/lablgtk2.14.dpatch, added upstream 
* Added README.source
* build-depend on lablgtksourceview2
* build-depend on debhelper >= 5
* Standards-version set to 3.8.3 
2009-03-20 - Enrico Tassi <gareuselesinge@debian.org>
matita (0.5.7-2) unstable; urgency=low
* rebuild against ocaml 3.11
* copyright file points to versioned licenses
2009-02-15 - Enrico Tassi <gareuselesinge@debian.org>
matita (0.5.7-1) unstable; urgency=low
* New upstream release
2008-12-01 - Enrico Tassi <gareuselesinge@debian.org>
matita (0.5.6-1) experimental; urgency=low
* New upstream bugfix release

See Also

Package Description
matlab-support-dev_0.0.19+nmu1_all.deb helpers for packages building MATLAB toolboxes
matlab2tikz_0.4.7-1_all.deb converter of Octave plots to TikZ figures (for integration into LaTeX)
matroxset_0.4-8_amd64.deb switch output modes, including TV out, of Matrox video cards
maude_2.6-6_amd64.deb high-performance logical framework
mauve_20140821-1_all.deb free test suite for the Java Class libraries
maven-ant-helper_7.10_all.deb helper scripts for building Maven components with ant
maven-debian-helper_1.6.9_all.deb Helper tools for building Debian packages with Maven
maven-repo-helper_1.8.9_all.deb Helper tools for including Maven metadata in Debian packages
maven2_2.2.1-22_all.deb Java software project management and comprehension tool
maven_3.0.5-3_all.deb Java software project management and comprehension tool
mawk_1.3.3-17_amd64.deb a pattern scanning and text processing language
maxima-doc_5.34.1-2_all.deb Computer algebra system -- documentation
maxima-emacs_5.34.1-2_all.deb Computer algebra system -- emacs interface
maxima-share_5.34.1-2_all.deb Computer algebra system -- extra code
maxima-src_5.34.1-2_all.deb Computer algebra system -- source code
Advertisement
Advertisement