-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Mon, 03 Mar 2008 10:34:52 +0100
Source: matita
Binary: matita matita-standard-library
Architecture: source all amd64
Version: 0.4.98-7
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
matita-standard-library - standard library for the Matita interactive theorem prover
Changes:
matita (0.4.98-7) unstable; urgency=medium
.
* Added dependency on the bytecode interpreted (ocaml-base-nox-$OCAMLABI)
on architectures that do not compile in native code.
Files:
68b4899f0144d4ff5e0bb77bf0f190ea 1250 math optional matita_0.4.98-7.dsc
684e7407f50d99aaa73c61fe94d5ce85 4364 math optional matita_0.4.98-7.diff.gz
814bf96da99837cb9c1212b4a0fd8681 12513448 math optional matita-standard-library_0.4.98-7_all.deb
c32120037fa25d7ba3527bcbaa9fa2ad 3607518 math optional matita_0.4.98-7_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFHy9CX7kkcPgEj8vIRAu9AAJ48xS69vKmtBpMb1RkYaP7/rlszJACaAqeq
yZ0X4X6IFHDqAeyW8Z3sp/g=
=wdyF
-----END PGP SIGNATURE-----
Accepted:
matita-standard-library_0.4.98-7_all.deb
to pool/main/m/matita/matita-standard-library_0.4.98-7_all.deb
matita_0.4.98-7.diff.gz
to pool/main/m/matita/matita_0.4.98-7.diff.gz
matita_0.4.98-7.dsc
to pool/main/m/matita/matita_0.4.98-7.dsc
matita_0.4.98-7_amd64.deb
to pool/main/m/matita/matita_0.4.98-7_amd64.deb
