-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Tue, 10 Dec 2013 20:15:50 +0100 Source: matita Binary: matita Architecture: source amd64 Version: 0.99.1-3 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 Closes: 731702 Changes: matita (0.99.1-3) unstable; urgency=medium . * Fix FTBFS w.r.t. lablgtk2 2.16 by updating findlinb name for gtksourceview (Closes: #731702) * New patch to help the type checker in nCicUntrusted.set_kind Checksums-Sha1: aef30cabc024958778def488bb4cf47ba188ca99 1542 matita_0.99.1-3.dsc 78129835980f973d80787abb9cadccd742fe5161 4848 matita_0.99.1-3.debian.tar.gz fed2c3d86aadaa581d2806ae95537a7ea37f0dba 2674968 matita_0.99.1-3_amd64.deb Checksums-Sha256: 78eabbe5f63e98f90797cf7039a24e5c1fe30921587c52302ce4045f8d782529 1542 matita_0.99.1-3.dsc 55f9a083ac801e40f952195b29005967e0e8f5f0f34b6854e989d979f3dd9c74 4848 matita_0.99.1-3.debian.tar.gz e2fb7be97bdec501be143b91146b873a04c70330d2299097c2e6410b46538b58 2674968 matita_0.99.1-3_amd64.deb Files: bc15703f51f9c12390435f2aeb0f8714 1542 math optional matita_0.99.1-3.dsc 2c9f820e35b6649009782f50b9186f46 4848 math optional matita_0.99.1-3.debian.tar.gz 9c93d59cb3d8ae85018a151f304107df 2674968 math optional matita_0.99.1-3_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.15 (GNU/Linux) iEYEARECAAYFAlKnfDAACgkQ7kkcPgEj8vL6PgCdFoMmJJ4RhNpJ7Uw9gRlbrYf6 8C4AoIqibH0ttWTv8w9HrCUCy/I79vKl =qfy4 -----END PGP SIGNATURE-----
