Back to matita PTS page

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