Accepted matita 0.99.1-1 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 06 May 2012 20:35:57 +0200
Source: matita
Binary: matita
Architecture: source amd64
Version: 0.99.1-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Enrico Tassi <gareuselesinge@debian.org>
Description:
matita - interactive theorem prover
Changes:
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
Checksums-Sha1:
e8842c3fca9d8364137b4ce9bc89555301142877 1542 matita_0.99.1-1.dsc
113a9c653031378efdb6667f1f7c6630924aaa77 10366065 matita_0.99.1.orig.tar.gz
66b246d99c7d367ff7e7da3cec2b88e2027ea6a4 4364 matita_0.99.1-1.debian.tar.gz
7703d192402c237ab4d545750b87ce4bfa149a90 4097984 matita_0.99.1-1_amd64.deb
Checksums-Sha256:
13c508864e59b521a10575de27e7fd471fbc3ae00a4ff6adadcd9fe31e79bc35 1542 matita_0.99.1-1.dsc
3a956835a6009c27057e59e06e84621d25ebd133ac72d362636d94dde8deb28e 10366065 matita_0.99.1.orig.tar.gz
bee09aa09987097524351e04527715c5585e80139ca2298471d2170f5557ccfd 4364 matita_0.99.1-1.debian.tar.gz
c48623f62be78dc4ce31e539abf4e6c50dd634292afb4aadb4f9a6101e7ca42a 4097984 matita_0.99.1-1_amd64.deb
Files:
b2cf1bae29c64e48586bc217b6af1a97 1542 math optional matita_0.99.1-1.dsc
57b80c202f003c7bd7ab2c453070425a 10366065 math optional matita_0.99.1.orig.tar.gz
9efa6ac21db7fcde7b246a0ae9c38209 4364 math optional matita_0.99.1-1.debian.tar.gz
6c0afe8e7e9e304efbabf0478b1a725d 4097984 math optional matita_0.99.1-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iEYEARECAAYFAk+m5scACgkQ7kkcPgEj8vKtgACdFjUt9CxvzvieBVj1sbHznisj
xDsAoJPcYOA5T0K5mWWS/kBwNzpaCDwT
=skCy
-----END PGP SIGNATURE-----
Accepted:
matita_0.99.1-1.debian.tar.gz
to main/m/matita/matita_0.99.1-1.debian.tar.gz
matita_0.99.1-1.dsc
to main/m/matita/matita_0.99.1-1.dsc
matita_0.99.1-1_amd64.deb
to main/m/matita/matita_0.99.1-1_amd64.deb
matita_0.99.1.orig.tar.gz
to main/m/matita/matita_0.99.1.orig.tar.gz