Accepted coq 8.0pl2-2 (source)

[Ubuntu Archive Auto-Sync]

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

Origin: Debian/unstable
Format: 1.7
Date: Wed,  13 Apr 2005 13:50:31 +0100
Source: coq
Binary: coq7-libs, coq, coq-libs, coqide
Architecture: source
Version: 8.0pl2-2
Distribution: breezy
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Ubuntu Archive Auto-Sync <katie at jackass.ubuntu.com>
Description: 
 coq        - proof assistant for higher-order logic (toplevel and compiler)
Changes: 
 coq (8.0pl2-2) unstable; urgency=medium
 .
   * Rebuilding with OCaml 3.08.3 is necessary because of the former dependency
     on ocaml-base-nox-3.08.
   * Removed the dependency on ocaml-base-nox-3.08 since ocamlrun does not seem
     to be necessary, even on non-native archs.
   * Cleaner handling of -arch and -indep targets.
   * Added utf8.v in coq and utf8.vo to coq-libs since utf8 can be useful for
     non-coqide users too.
   * Using dh_desktop to register .desktop files.
 .
 coq (8.0pl2-1) unstable; urgency=low
 .
   * New upstream release.
   * Put the libraries in arch all since they are supposed to be
     arch-independant.
   * Updated the README.Debian to explain that .vo are not compatible between
     different upstream releases.
   * Renamed coq.desktop into coqide.desktop, updated it and put it in
     /usr/share/applications/ to be compliant with the policy.
   * Description synopsis now begin with lowercase letters.
   * Updated Standards-Version to 3.6.1.1.
Files: 
 b8e0039e9e1ede7453ff301bc4fb362a 11086 math optional coq_8.0pl2-2.diff.gz
 39ee0fed76e47a11de2f49e2c236ef79 2285855 math optional coq_8.0pl2.orig.tar.gz
 8291198100c5f1e2a6222b4955399004 919 math optional coq_8.0pl2-2.dsc
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.4 (GNU/Linux)

iQEVAwUBQl0VlwF4adwMEr3XAQKgzwf+JSlpeWN6jgtaoxrOyfOFDAzUVRaUfWi9
stkZsLznguCA/6Sidd0BpEjFsIKRNNZuqT9+vReFiI3cvt52tlCoDAfpC7ChwN2m
JXOVqvxhAN7sgG/SttYM5YP/Ikh3jCve/rIiDdlyso/lE4LHLyoMylQ9TQ6zXHYx
sl6pH+fpOuw2COEG1xDvNhyhH3w07GwBjeY1H1rFiR+WNGFZyl5HTjqEmmCiXWJ1
UWivyY4X1lybEsJ0076hmuPLZ2fnudqPMQpuM2vJvtLE3R2CUbPjPuuZ4Fle+zG3
bakz+9yCG4MLWYmFMfp3alZC+d8xctq4njHHle8iyN9+eGtPTKfDdw==
=W268
-----END PGP SIGNATURE-----


Accepted:
coq_8.0pl2-2.diff.gz
  to pool/universe/c/coq/coq_8.0pl2-2.diff.gz
coq_8.0pl2-2.dsc
  to pool/universe/c/coq/coq_8.0pl2-2.dsc
coq_8.0pl2.orig.tar.gz
  to pool/universe/c/coq/coq_8.0pl2.orig.tar.gz