matita_0.99.3-1+b2_amd64.deb


Advertisement

Description

matita - interactive theorem prover

Property Value
Distribution Debian Sid
Repository Debian Main amd64
Package filename matita_0.99.3-1+b2_amd64.deb
Package name matita
Package version 0.99.3
Package release 1+b2
Package architecture amd64
Package type deb
Category field::mathematics implemented-in::ocaml interface::commandline interface::graphical interface::x11 math role::program uitoolkit::gtk use::checking x11::application
Homepage http://matita.cs.unibo.it
License -
Maintainer Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Download size 4.35 MB
Installed size 21.26 MB

Alternatives

Package Version Architecture Repository
matita_0.99.3-1+b2_i386.deb 0.99.3 i386 Debian Main
matita - - -

Requires

Name Value
libatk1.0-0 >= 1.12.4
libc6 >= 2.17
libcairo2 >= 1.2.4
libexpat1 >= 2.0.1
libfontconfig1 >= 2.12
libfreetype6 >= 2.2.1
libgdk-pixbuf2.0-0 >= 2.22.0
libglade2-0 >= 1:2.6.4-2~
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 -
libxml2 >= 2.6.27
zlib1g >= 1:1.1.4

Download

Type URL
Mirror ftp.br.debian.org
Binary Package matita_0.99.3-1+b2_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.amd64.gz
/usr/share/doc/matita/changelog.Debian.gz
/usr/share/doc/matita/changelog.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/Makefile
/usr/share/matita/lib/extraction.ma
/usr/share/matita/lib/fail.txt
/usr/share/matita/lib/hints_declaration.ma
/usr/share/matita/lib/inconsistent.ma
/usr/share/matita/lib/preamble.hs
/usr/share/matita/lib/preamble.ml
/usr/share/matita/lib/root
/usr/share/matita/lib/self_typing.ma
/usr/share/matita/lib/MONADS/speranza.ma
/usr/share/matita/lib/MONADS/speranza2.ma
/usr/share/matita/lib/arithmetics/bigops.ma
/usr/share/matita/lib/arithmetics/binomial.ma
/usr/share/matita/lib/arithmetics/bounded_quantifiers.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/fermat_little_theorem.ma
/usr/share/matita/lib/arithmetics/gcd.ma
/usr/share/matita/lib/arithmetics/iteration.ma
/usr/share/matita/lib/arithmetics/log.ma
/usr/share/matita/lib/arithmetics/lstar.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/ord.ma
/usr/share/matita/lib/arithmetics/permutation.ma
/usr/share/matita/lib/arithmetics/pidgeon_hole.ma
/usr/share/matita/lib/arithmetics/primes.ma
/usr/share/matita/lib/arithmetics/sigma_pi.ma
/usr/share/matita/lib/arithmetics/sqrt.ma
/usr/share/matita/lib/arithmetics/chebyshev/bertrand.ma
/usr/share/matita/lib/arithmetics/chebyshev/bertrand256.ma
/usr/share/matita/lib/arithmetics/chebyshev/chebyshev_psi.ma
/usr/share/matita/lib/arithmetics/chebyshev/chebyshev_theta.ma
/usr/share/matita/lib/arithmetics/chebyshev/factorization.ma
/usr/share/matita/lib/arithmetics/chebyshev/psi_bounds.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/finset.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/star1.ma
/usr/share/matita/lib/basics/types.ma
/usr/share/matita/lib/basics/vector_finset.ma
/usr/share/matita/lib/basics/vectors.ma
/usr/share/matita/lib/basics/lists/list.ma
/usr/share/matita/lib/basics/lists/listb.ma
/usr/share/matita/lib/basics/lists/lstar.ma
/usr/share/matita/lib/binding/db.ma
/usr/share/matita/lib/binding/fp.ma
/usr/share/matita/lib/binding/ln.ma
/usr/share/matita/lib/binding/ln_concrete.ma
/usr/share/matita/lib/binding/names.ma
/usr/share/matita/lib/finite_lambda/confluence.ma
/usr/share/matita/lib/finite_lambda/reduction.ma
/usr/share/matita/lib/finite_lambda/terms_and_types.ma
/usr/share/matita/lib/finite_lambda/typing.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/hott/Overture.ma
/usr/share/matita/lib/hott/PathGroupoids.ma
/usr/share/matita/lib/hott/notations.ma
/usr/share/matita/lib/hott/pts.ma
/usr/share/matita/lib/hott/types.ma
/usr/share/matita/lib/pts_dummy/CC2FO_K.ma
/usr/share/matita/lib/pts_dummy/CC2FO_K_cube.ma
/usr/share/matita/lib/pts_dummy/arity.ma
/usr/share/matita/lib/pts_dummy/arity_eval.ma
/usr/share/matita/lib/pts_dummy/convertibility.ma
/usr/share/matita/lib/pts_dummy/cube.ma
/usr/share/matita/lib/pts_dummy/degree.ma
/usr/share/matita/lib/pts_dummy/ext.ma
/usr/share/matita/lib/pts_dummy/ext_lambda.ma
/usr/share/matita/lib/pts_dummy/inversion.ma
/usr/share/matita/lib/pts_dummy/lambda_notation.ma
/usr/share/matita/lib/pts_dummy/lift.ma
/usr/share/matita/lib/pts_dummy/par_reduction.ma
/usr/share/matita/lib/pts_dummy/rc_eval.ma
/usr/share/matita/lib/pts_dummy/rc_hsat.ma
/usr/share/matita/lib/pts_dummy/rc_sat.ma
/usr/share/matita/lib/pts_dummy/reduction.ma
/usr/share/matita/lib/pts_dummy/sn.ma
/usr/share/matita/lib/pts_dummy/subject.ma
/usr/share/matita/lib/pts_dummy/subst.ma
/usr/share/matita/lib/pts_dummy/subterms.ma
/usr/share/matita/lib/pts_dummy/terms.ma
/usr/share/matita/lib/pts_dummy/types.ma
/usr/share/matita/lib/pts_dummy_new/arity.ma
/usr/share/matita/lib/pts_dummy_new/arity_eval.ma
/usr/share/matita/lib/pts_dummy_new/convertibility.ma
/usr/share/matita/lib/pts_dummy_new/cube.ma
/usr/share/matita/lib/pts_dummy_new/ext.ma
/usr/share/matita/lib/pts_dummy_new/ext_lambda.ma
/usr/share/matita/lib/pts_dummy_new/inversion.ma
/usr/share/matita/lib/pts_dummy_new/lambda_notation.ma
/usr/share/matita/lib/pts_dummy_new/par_reduction.ma
/usr/share/matita/lib/pts_dummy_new/rc_eval.ma
/usr/share/matita/lib/pts_dummy_new/rc_hsat.ma
/usr/share/matita/lib/pts_dummy_new/rc_sat.ma
/usr/share/matita/lib/pts_dummy_new/reduction.ma
/usr/share/matita/lib/pts_dummy_new/sn.ma
/usr/share/matita/lib/pts_dummy_new/subject.ma
/usr/share/matita/lib/pts_dummy_new/subst.ma
/usr/share/matita/lib/pts_dummy_new/subterms.ma
/usr/share/matita/lib/pts_dummy_new/terms.ma
/usr/share/matita/lib/pts_dummy_new/thinning.ma
/usr/share/matita/lib/pts_dummy_new/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/matita/lib/reverse_complexity/big_O.ma
/usr/share/matita/lib/reverse_complexity/gap.ma
/usr/share/matita/lib/reverse_complexity/hierarchy.ma
/usr/share/matita/lib/reverse_complexity/speed_clean.ma
/usr/share/matita/lib/reverse_complexity/speed_def.ma
/usr/share/matita/lib/reverse_complexity/speed_new.ma
/usr/share/matita/lib/reverse_complexity/toolkit.ma
/usr/share/matita/lib/turing/auxiliary_machines.ma
/usr/share/matita/lib/turing/auxiliary_machines1.ma
/usr/share/matita/lib/turing/auxiliary_multi_machines.ma
/usr/share/matita/lib/turing/basic_machines.ma
/usr/share/matita/lib/turing/basic_multi_machines.ma
/usr/share/matita/lib/turing/complexity.ma
/usr/share/matita/lib/turing/if_machine.ma
/usr/share/matita/lib/turing/if_multi.ma
/usr/share/matita/lib/turing/inject.ma
/usr/share/matita/lib/turing/mono.ma
/usr/share/matita/lib/turing/move_char.ma
/usr/share/matita/lib/turing/ntm.ma
/usr/share/matita/lib/turing/oracle.ma
/usr/share/matita/lib/turing/turing.ma
/usr/share/matita/lib/turing/turing_old.ma
/usr/share/matita/lib/turing/universal.ma
/usr/share/matita/lib/turing/while_machine.ma
/usr/share/matita/lib/turing/while_multi.ma
/usr/share/matita/lib/turing/wmono.ma
/usr/share/matita/lib/turing/multi_to_mono/exec_moves.ma
/usr/share/matita/lib/turing/multi_to_mono/exec_trace_move.ma
/usr/share/matita/lib/turing/multi_to_mono/full.ma
/usr/share/matita/lib/turing/multi_to_mono/multi_to_mono.ma
/usr/share/matita/lib/turing/multi_to_mono/shift_trace.ma
/usr/share/matita/lib/turing/multi_to_mono/shift_trace_aux.ma
/usr/share/matita/lib/turing/multi_to_mono/step.ma
/usr/share/matita/lib/turing/multi_to_mono/trace_alphabet.ma
/usr/share/matita/lib/turing/multi_universal/alphabet.ma
/usr/share/matita/lib/turing/multi_universal/binaryTM.ma
/usr/share/matita/lib/turing/multi_universal/match.ma
/usr/share/matita/lib/turing/multi_universal/normalTM.ma
/usr/share/matita/lib/turing/multi_universal/tuples.ma
/usr/share/matita/lib/turing/multi_universal/unistep.ma
/usr/share/matita/lib/turing/multi_universal/unistep_aux.ma
/usr/share/matita/lib/turing/multi_universal/universal.ma
/usr/share/matita/lib/tutorial/chapter1.ma
/usr/share/matita/lib/tutorial/chapter10.ma
/usr/share/matita/lib/tutorial/chapter11.ma
/usr/share/matita/lib/tutorial/chapter12.ma
/usr/share/matita/lib/tutorial/chapter13.ma
/usr/share/matita/lib/tutorial/chapter2.ma
/usr/share/matita/lib/tutorial/chapter3.ma
/usr/share/matita/lib/tutorial/chapter4.ma
/usr/share/matita/lib/tutorial/chapter5.ma
/usr/share/matita/lib/tutorial/chapter6.ma
/usr/share/matita/lib/tutorial/chapter7.ma
/usr/share/matita/lib/tutorial/chapter8.ma
/usr/share/matita/lib/tutorial/chapter9.ma
/usr/share/menu/matita

Changelog

2016-05-24 - Enrico Tassi <gareuselesinge@debian.org>
matita (0.99.3-1) unstable; urgency=medium
* New upstream release
* Remove patch 0001-configure, applied upstream 
* Remove patch 0002-Help-..., applied upstream 
* New patch to remove dependency for mysql in configure.ac 
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

See Also

Package Description
matlab-support-dev_0.0.21_all.deb helpers for packages building MATLAB toolboxes
matlab2tikz_1.1.0-6_all.deb converter of Octave plots to TikZ figures (for integration into LaTeX)
matrix-synapse-ldap3_0.1.3-4_all.deb LDAP auth provider for the Matrix homeserver
matrix-synapse_0.99.2-3_all.deb Matrix reference homeserver
matroxset_0.4-9+b1_amd64.deb switch output modes, including TV out, of Matrox video cards
maude_2.7-2+b2_amd64.deb high-performance logical framework
mauve-aligner_2.4.0+4736-2_amd64.deb multiple genome alignment
mauve_20161030-1_all.deb free test suite for the Java Class libraries
maven-ant-helper_8.5_all.deb helper scripts for building Maven components with ant
maven-cache-cleanup_1.0.4-1_all.deb Utility to purge timestamped snapshots from Maven repositories
maven-debian-helper_2.3.2_all.deb Helper tools for building Debian packages with Maven
maven-repo-helper_1.9.3_all.deb Helper tools for including Maven metadata in Debian packages
maven_3.6.0-1_all.deb Java software project management and comprehension tool
mawk_1.3.3-17+b3_amd64.deb a pattern scanning and text processing language
maxima-doc_5.42.1-1_all.deb Computer algebra system -- documentation
Advertisement
Advertisement