source: Deliverables/D6.6/matita/matita_0.99.2-1.dsc @ 3241

Last change on this file since 3241 was 3241, checked in by sacerdot, 7 years ago

Debian package for matita_0.99.2

File size: 1.3 KB
Line 
1Format: 3.0 (quilt)
2Source: matita
3Binary: matita
4Architecture: any
5Version: 0.99.2-1
6Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
7Uploaders: Enrico Tassi <gareuselesinge@debian.org>
8Homepage: http://matita.cs.unibo.it
9Standards-Version: 3.8.3
10Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/matita.git
11Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/matita.git
12Build-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
13Package-List:
14 matita deb math optional
15Checksums-Sha1:
16 2f6ad7e775dd6446bc091583a1d7758dba4f9f4c 2290597 matita_0.99.2.orig.tar.gz
17 c82a48491ae41b0c8d78b2af793581178255e4ba 4326 matita_0.99.2-1.debian.tar.gz
18Checksums-Sha256:
19 6971e88cc03a1d602d16f0102b680f29333f7c757c21d6945ce7f72e1514461e 2290597 matita_0.99.2.orig.tar.gz
20 27cba8fb28a4ae49434658408bd5794e964cbee6ee5fc6c07a5bcb4dc17773ee 4326 matita_0.99.2-1.debian.tar.gz
21Files:
22 682d71403815456fdfbeb25e0b4fdda6 2290597 matita_0.99.2.orig.tar.gz
23 9eb6e5c4fc2f477e63b75707150ed656 4326 matita_0.99.2-1.debian.tar.gz
Note: See TracBrowser for help on using the repository browser.