File: control

package info (click to toggle)
matita 0.99.3-1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 9,580 kB
  • ctags: 5,761
  • sloc: ml: 46,829; xml: 6,414; makefile: 1,223; ansic: 605; sh: 89; perl: 36; awk: 15; haskell: 6; sed: 4
file content (32 lines) | stat: -rw-r--r-- 969 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
Source: matita
Section: math
Priority: optional
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Enrico Tassi <gareuselesinge@debian.org>
Build-Depends:
 ocaml (>= 3.10.2),
 ocaml-findlib (>= 1.2.1-2),
 libgdome2-ocaml-dev,
 liblablgtk2-ocaml-dev,
 libocamlnet-ocaml-dev,
 libzip-ocaml-dev,
 libhttp-ocaml-dev,
 ocaml-ulex08 (>= 0.8-4),
 libexpat-ocaml-dev,
 debhelper (>= 8),
 camlp5 (>= 5.04),
 liblablgtksourceview2-ocaml-dev,
 autoconf,
 help2man
Standards-Version: 3.8.3
Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/matita.git
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/matita.git
Homepage: http://matita.cs.unibo.it

Package: matita
Architecture: any
Depends: ${shlibs:Depends}, ${interpreter:Depends}, ${misc:Depends}
Recommends: graphviz, yelp
Description: interactive theorem prover
 Matita is a graphical interactive theorem prover based on the Calculus of
 (Co)Inductive Constructions.