Accepted matita 0.99.3-1 (source amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 24 May 2016 21:57:11 +0200
Source: matita
Binary: matita
Architecture: source amd64
Version: 0.99.3-1
Distribution: unstable
Urgency: medium
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.3-1) unstable; urgency=medium
.
* New upstream release
* Remove patch 0001-configure, applied upstream
* Remove patch 0002-Help-..., applied upstream
* New patch to remove dependency for mysql in configure.ac
Checksums-Sha1:
2595d0c8521c23ff073534e22964759b91c9abe6 2167 matita_0.99.3-1.dsc
0e990f7e85a21b200ec36365d0f172133356ed66 3145643 matita_0.99.3.orig.tar.gz
58afce01867ce1ccf0496572111e11f80f1cc969 4296 matita_0.99.3-1.debian.tar.xz
fb1686cbeb651e760c6d780960e3a66d4fc7d4ca 868346 matita-dbgsym_0.99.3-1_amd64.deb
531d562bcbe018c01b9e8654bec6bb34d05bb2bd 3014938 matita_0.99.3-1_amd64.deb
Checksums-Sha256:
5cbae34cfcb54471d124e833cf795c68d9a532cb2fffa9ecb08a95815cf00d6b 2167 matita_0.99.3-1.dsc
d0f370cfed428c9e6c36b8326d940569124d2c2eb436d51e6b333e6fad2da6b2 3145643 matita_0.99.3.orig.tar.gz
3eed6f515f2faa507edd374f1f1c15e068e90f274d7eced6bc359030fab2bfe8 4296 matita_0.99.3-1.debian.tar.xz
f25c733925506448ad52193764ef6f9977227390dbbb6a6272ab5bc4e0ceccf9 868346 matita-dbgsym_0.99.3-1_amd64.deb
3f796ba68ae012aa065ac60bb9fbe3b27162fda6af8232e6a3b8998918c99eb1 3014938 matita_0.99.3-1_amd64.deb
Files:
28e79b4a49d3d8a2d4bee476325b6b03 2167 math optional matita_0.99.3-1.dsc
aed44d9f10570f672de0224175b2b28b 3145643 math optional matita_0.99.3.orig.tar.gz
9e17131a282096b53d110c88aa1853f7 4296 math optional matita_0.99.3-1.debian.tar.xz
9c57bac3c9edb45dcd77cf42b938bde0 868346 debug extra matita-dbgsym_0.99.3-1_amd64.deb
4cf5231cdd4e15899c24afcdaad0065f 3014938 math optional matita_0.99.3-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJXRLdfAAoJECUFM8yim3ZPn9AQAJ9/Y8wbmcm9o89OiGQV7Bul
TsXMsVIK0yCz8KiyxDm8eU3XikWt+CxNTGSrYzoTbpxozQPUuCYCx9b5I/weSTxh
wJiXOFNNgGGW9fTHYLfDXcYfPxbU4b5WuheS+iBhZCyjk869oTfAQvicsMkq0OJ4
3kqo80i5XrVLdIDRzjXwCK6iIms0jBVoKZQJB1sQ90Er+oAKAFoVYtupAZoM/F2n
2NNiRS2BK8H6FuSAI5CQy54aDFtK9UXcbdnelWpZRaJd/+oFSTk/OTPVoYzjdZgc
HdyEaoHbsWetXZ8eOlmoMsOacdHLjKZCnZncUJ8v0IShH0wRYl0Y4hulDgoJxblv
s2IMdANNl45ZQNlZ40ds0jFYZwYfBCuU5KwsMjhbKLcEaQvDDlLA3cBleye1QjpD
7WvhzqzQU/Dh8Byn7Hs0Y5YNi3LjcClyRD8vI32534IoD1LVmltN9E1VLRdZmBo7
5YMEaE1Et/W5H4NM0XdVT79WcmAjPQujaMXc0yGJbhM0VMkiattmPyDTEdf4E+TH
3eN2a5f9DZO5xxSGM2z/NgYtRWkoNjsmeAL47dTkfImp5TsuTKQx8NBksxhNgh6y
nXExQjwDwc3jm7uhJ4kMjCue2VC5qT4VOCt3UGj02Tv3VRdAWSzvvYzQbW4OOGpX
S5NOcJvNRDuPxjKYTViW
=GaHI
-----END PGP SIGNATURE-----