matita (0.5.7-2ubuntu2) karmic; urgency=low * Rebuild with OCaml 3.11.1 on armel (lp: #421088)
Date: Tue, 01 Sep 2009 09:49:06 +0200 Changed-By: Michael Bienia <ge...@ubuntu.com> Maintainer: Ubuntu MOTU Developers <ubuntu-m...@lists.ubuntu.com> Signed-By: Michael Bienia <mich...@bienia.de> https://launchpad.net/ubuntu/karmic/+source/matita/0.5.7-2ubuntu2
-----BEGIN PGP SIGNED MESSAGE----- Hash: RIPEMD160 Format: 1.8 Date: Tue, 01 Sep 2009 09:49:06 +0200 Source: matita Binary: matita matita-standard-library matita-doc Architecture: source Version: 0.5.7-2ubuntu2 Distribution: karmic Urgency: low Maintainer: Ubuntu MOTU Developers <ubuntu-m...@lists.ubuntu.com> Changed-By: Michael Bienia <ge...@ubuntu.com> Description: matita - interactive theorem prover matita-doc - user manual of the Matita interactive theorem prover matita-standard-library - standard library for the Matita interactive theorem prover Changes: matita (0.5.7-2ubuntu2) karmic; urgency=low . * Rebuild with OCaml 3.11.1 on armel (lp: #421088) Checksums-Sha1: ed1283e749d749dec602e87f57f83b79467a840f 1964 matita_0.5.7-2ubuntu2.dsc a37a27263bfa8dd909f1426c2d98b03407e58fcf 5621 matita_0.5.7-2ubuntu2.diff.gz Checksums-Sha256: fd90b19b8cb671e26f5cc3ee1e736e27d9ed58cd01cd1d1804743c1d735d0eef 1964 matita_0.5.7-2ubuntu2.dsc 0d9c41335b141e10e7c6f3c0462a9c40e731baf9f09b40813feb85d2a0b4f639 5621 matita_0.5.7-2ubuntu2.diff.gz Files: 5d8f025e33bfe148cbf4395326dc1df7 1964 math optional matita_0.5.7-2ubuntu2.dsc 32fb83ac6e0b5c29f3f4d300cf6ce86b 5621 math optional matita_0.5.7-2ubuntu2.diff.gz Launchpad-Bugs-Fixed: 421088 Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.12 (GNU/Linux) iJwEAQEDAAYFAkqc1a4ACgkQo8/XfXdugupxjwP9FToqdzydTiNbSJF+I2f9Bqmg q3GUn0RgKiL2Kg4q8MnKR/zrdONrurUJjVtfRWXYDG7sIeJJ/hoeYWHxHz2G3pUV ZUzk1j0plL2m2pTvDzsHjx1/LYU2Te2tm6nzIK8dNh1LFu/80qe0oVIgkgr1O2qa ykb9cBXdyNhX3oWqJ2c= =HEfU -----END PGP SIGNATURE-----
-- Karmic-changes mailing list Karmic-changes@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/karmic-changes