Uploaded coq 7.0-1 (sparc) to ftp-master
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Tue, 17 Apr 2001 19:24:34 +0200
Source: coq
Binary: coq
Architecture: sparc
Version: 7.0-1
Distribution: unstable
Urgency: low
Maintainer: Debian/SPARC Build Daemon <buildd@vore.debian.org>
Changed-By: Judicakl Courant <Judicael.Courant@lri.fr>
Description:
coq - a proof assistant for higher-order logic.
Closes: 70273 92461
Changes:
coq (7.0-1) unstable; urgency=low
.
* New maintainer Judicakl Courant <Judicael.Courant@lri.fr>.
* New upstream version.
* Added Build-Depends (closes: Bug#70273).
* Cleaned up dependencies.
* Emacs mode installation now follows Emacs policy.
* Made compilation non-interactive (closes: Bug#92461).
* Added Suggests cle.
Files:
fdf39737f8d08a4f99448d557fc6f899 8687596 devel optional coq_7.0-1_sparc.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.1 (GNU/Linux)
Comment: Ben Collins <bcollins@debian.org>
iD8DBQE66eVffNc/ZB4E7C0RAr7GAKDCV/z+u/DoXeG3NKqreZp7/LJC9gCgh83E
jsXo5e58UyChjRb9BXf2KQI=
=q7CU
-----END PGP SIGNATURE-----
Reply to: