-----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 protected]>
Changed-By: Jonh Wendell <[EMAIL PROTECTED]>
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 protected]>
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.3 (GNU/Linux)
iQCVAwUBRgLTWaPP1313boLqAQNn7QP/TCweIXhrv1V4nFtw2gTFgn4hXqJm30qA
OQiSyGkSRbBkp/IO9VbkyNPTZwtXC0YnPDXc1OWTd7TK5Gok6MaDcZTZimn9AmP5
iruoZWbyguhz/9mxLGHVbKWSVzZSi6HqJ7ukrtY15ib8RSw+85aPmlY1SjVC9FtQ
EhI0oo19yBY=
=NIEI
-----END PGP SIGNATURE-----
** Changed in: coq (Ubuntu)
Status: In Progress => Fix Committed
--
bad .desktop
https://launchpad.net/bugs/49546
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
