Uploaded coq 7.3-1 (m68k) to ftp-master
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Wed, 22 May 2002 14:48:21 +0200
Source: coq
Binary: coq
Architecture: m68k
Version: 7.3-1
Distribution: unstable
Urgency: low
Maintainer: Debian/m68k (crest) buildd <buildd-crest@ax.westfalen.de>
Changed-By: Judicael Courant <Judicael.Courant@lri.fr>
Description:
coq - a proof assistant for higher-order logic.
Changes:
coq (7.3-1) unstable; urgency=low
.
* New upstream version.
Files:
5226b0791dc07eec85a1e2edb9e7a43b 6208552 devel optional coq_7.3-1_m68k.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: Rick Younie <younie@debian.org>
iEYEARECAAYFAjzs/9EACgkQEycGpQPNsdKFJwCePm2S2obxK3KJtY4WLHULkiCp
aJQAoI24GAOSgq/3M+vOG+hzYwAQPOKI
=74AF
-----END PGP SIGNATURE-----
--
To UNSUBSCRIBE, email to debian-devel-m68k-changes-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Reply to: