-----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-----
