Accepted matita 0.99.1-3 (source amd64)
-----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-----