Accepted matita 0.5.8-4 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 01 Apr 2012 12:15:20 +0200
Source: matita
Binary: matita matita-doc
Architecture: source all amd64
Version: 0.5.8-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
matita - interactive theorem prover
matita-doc - user manual of the Matita interactive theorem prover
Closes: 666594
Changes:
matita (0.5.8-4) unstable; urgency=medium
.
* Team upload
* Fix FTBFS with camlp5 6.05 (Closes: #666594)
Checksums-Sha1:
d072630ff7b0ec886c81d8f1fd6737e9572c6928 2396 matita_0.5.8-4.dsc
1913b12538ce3efed814cf1efed20aa2e6fd0c24 7084 matita_0.5.8-4.debian.tar.gz
98ffbacb02074184f7f414b24cbfc3682f89b6ed 1231412 matita-doc_0.5.8-4_all.deb
8b720b511ef1814b9ec3ddf6e87b332590ec63ed 7065092 matita_0.5.8-4_amd64.deb
Checksums-Sha256:
3efdde22ce4414f31ba84cd66d7287a4ac09738ed6b950d9935c7e2cc8bde785 2396 matita_0.5.8-4.dsc
626e471b320b152cd1665600edc2d7d94a34da6ff65f4485001db2161ebd3ba6 7084 matita_0.5.8-4.debian.tar.gz
b5863bec4fec963521490298a9d76e0f28509377b308dd082ffbeaa6b7897ba4 1231412 matita-doc_0.5.8-4_all.deb
a7e716fdcb44b339a940cc22771df3a72a1c5f0c8f6b1fc1ba941b60f5a47d41 7065092 matita_0.5.8-4_amd64.deb
Files:
29039f8eb0be1ec811d8cd92e6b5ab93 2396 math optional matita_0.5.8-4.dsc
866d1adb04e7853494e6ede4975d1ada 7084 math optional matita_0.5.8-4.debian.tar.gz
0d867c867e8a469d3a65e2c33fad1be0 1231412 doc optional matita-doc_0.5.8-4_all.deb
cbb8f91e8a49aa1b2879b59f7eea3397 7065092 math optional matita_0.5.8-4_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCgAGBQJPeDJaAAoJEHhT2k1JiBrTxOcP/2+LKzk+r7R5ywWYgkpBBxH0
HUuxcnnmWk6N6iJs+BrjtdGw7GxXBBBUrNWC6kRbVU7FNdQddfqHk0fOQGH0IV/3
XlcmOQMwEoK5bUf5JU70MOGp8SIUNRPfctldM/CslP0nD73ailTlpwbPRseX8NVB
TXNTXhlVFRpIGjlyR0AFzXgyFNQW6u2pJKSkiBX6MTHFZaAPEMIgUdh6uvu51Prr
77r01Dcx8K8p7IJue/1f/PuFyxiNgzth+U6ladcmhP+1FJQt9G7T+dd8fyirl7WA
gyfLjNQe3wRWlFONnA/F582YZuM4vsq0OVejYcMBjKhTgioFcA0rFXF9/zkVSUil
MiFPYYzf3DkUad3DeR0acYyq97joUamvdMxe4PtFJfpsDFG+tmFtHcsavX5scOO5
GVRn0b1xDnrlC8PzWO01PR0DmNW/qqt/XDGOvwsOkxiZFQyUfmI50eWsatcVGewt
jOI51+vqPK3OFhu5cLAzt+Ne9bMpU+htIll25GCrWzZsIv3yWfh//1nZep16zm1p
R21BbL62SrC3plRFKlABP9Q0WcKR3HgdhyTz1Xw0y/B5DwAwP7DRCWLcfVye0Xdy
RYJBvPM218GiM6vQfv8v1GMYkSK73sg0SeDfExQ7sUEFeB4ttxg0CfxuGukIWD7B
z8B5bUhumQVxVqlflpbW
=x6we
-----END PGP SIGNATURE-----
Accepted:
matita-doc_0.5.8-4_all.deb
to main/m/matita/matita-doc_0.5.8-4_all.deb
matita_0.5.8-4.debian.tar.gz
to main/m/matita/matita_0.5.8-4.debian.tar.gz
matita_0.5.8-4.dsc
to main/m/matita/matita_0.5.8-4.dsc
matita_0.5.8-4_amd64.deb
to main/m/matita/matita_0.5.8-4_amd64.deb