Accepted coq 8.0pl3-2ubuntu1 (source)

[Ubuntu Installer]

Accepted:
coq 8.0pl3-2ubuntu1 was ACCEPTED.
	Component: universe Section: devel

-----BEGIN PGP SIGNED MESSAGE-----
Hash: RIPEMD160

Format: 1.7
Date: Thu, 22 Mar 2007 09:25:21 -0300
Source: coq
Binary: coq7-libs coqide coq-libs coq
Architecture: source
Version: 8.0pl3-2ubuntu1
Distribution: feisty
Urgency: low
Maintainer: Ubuntu MOTU Developers <ubuntu-motu at lists.ubuntu.com>
Changed-By: Jonh Wendell <wendell at ubuntu.com>
Description: 
 coq        - proof assistant for higher-order logic (toplevel and compiler)
 coq-libs   - proof assistant for higher-order logic (theories)
 coq7-libs  - proof assistant for higher-order logic (Coq 7 theories)
 coqide     - proof assistant for higher-order logic (gtk interface)
Launchpad-Bugs-Fixed: 49546
Changes: 
 coq (8.0pl3-2ubuntu1) feisty; urgency=low
 .
   * Fix desktop file according with freedesktop spec (LP: #49546)
   * debian/control:
     - Updated maintainer field;
Files: 
 74a2fe3abbf7b706e52fa595cac1968b 1103 math optional coq_8.0pl3-2ubuntu1.dsc
 cb19beeb7228c2d7e7cff18ab63afb97 16498 math optional coq_8.0pl3-2ubuntu1.diff.gz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.3 (GNU/Linux)

iQCVAwUBRgLTWaPP1313boLqAQNn7QP/TCweIXhrv1V4nFtw2gTFgn4hXqJm30qA
OQiSyGkSRbBkp/IO9VbkyNPTZwtXC0YnPDXc1OWTd7TK5Gok6MaDcZTZimn9AmP5
iruoZWbyguhz/9mxLGHVbKWSVzZSi6HqJ7ukrtY15ib8RSw+85aPmlY1SjVC9FtQ
EhI0oo19yBY=
=NIEI
-----END PGP SIGNATURE-----