[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Accepted coq 8.0pl1-2 (powerpc source)



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.7
Date: Mon, 16 Aug 2004 20:39:48 +0200
Source: coq
Binary: coq7-libs coqide coq-libs coq
Architecture: source powerpc
Version: 8.0pl1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Samuel Mimram <samuel.mimram@ens-lyon.org>
Description: 
 coq        - Proof assistant for higher-order logic
 coq-libs   - Proof assistant for higher-order logic
 coq7-libs  - Proof assistant for higher-order logic
 coqide     - Proof assistant for higher-order logic
Changes: 
 coq (8.0pl1-2) unstable; urgency=medium
 .
   * Changed section to math.
   * Versionned the dependency to liblablgtk2-ocaml(-dev).
   * If we fallback on bytecode, we also try to build coqide in bytecode (I hope
     this will fix the FTBFS on alpha).
   * Added a watch file.
   * Removed the unnecessary patch an unpatch targets in the rules.
Files: 
 c752ccf3e934eb1a32061316d65e5770 905 math optional coq_8.0pl1-2.dsc
 97373b84c858730df126b70aa041482f 9911 math optional coq_8.0pl1-2.diff.gz
 eaa682a6184a13232cb672eff5fcfcaa 6869906 math optional coq_8.0pl1-2_powerpc.deb
 ca206bd48d12471efe52ccb49e1f9f2e 4480366 math optional coqide_8.0pl1-2_powerpc.deb
 d3a8b1aedf3a6603aafad8b3c30a276e 3728088 math optional coq-libs_8.0pl1-2_powerpc.deb
 de9e035b097ccd8a156a9ef8a67a0d13 3806978 math optional coq7-libs_8.0pl1-2_powerpc.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.5 (GNU/Linux)

iD8DBQFBIjDM2WTeT3CRQaQRArTnAJ46t0TP81Pwixa58ZfFmQg9AGWmdACgom2P
BhhHVqNXf5SBKjOo3aTYMEo=
=ADNu
-----END PGP SIGNATURE-----


Accepted:
coq-libs_8.0pl1-2_powerpc.deb
  to pool/main/c/coq/coq-libs_8.0pl1-2_powerpc.deb
coq7-libs_8.0pl1-2_powerpc.deb
  to pool/main/c/coq/coq7-libs_8.0pl1-2_powerpc.deb
coq_8.0pl1-2.diff.gz
  to pool/main/c/coq/coq_8.0pl1-2.diff.gz
coq_8.0pl1-2.dsc
  to pool/main/c/coq/coq_8.0pl1-2.dsc
coq_8.0pl1-2_powerpc.deb
  to pool/main/c/coq/coq_8.0pl1-2_powerpc.deb
coqide_8.0pl1-2_powerpc.deb
  to pool/main/c/coq/coqide_8.0pl1-2_powerpc.deb



Reply to: