matita_0.99.1-3_amd64.deb


Advertisement

Description

matita - interactive theorem prover

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

    Download

    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

    • /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

    Advertisement
    Advertisement