Comment 7 for bug 49546

Revision history for this message
Michael Bienia (geser) wrote :

-----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 <email address hidden>
Changed-By: Jonh Wendell <email address hidden>
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 <email address hidden>

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

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