-----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-----
-----BEGIN PGP SIGNED MESSAGE-----
Hash: RIPEMD160
Format: 1.7 Bugs-Fixed: 49546 06e52fa595cac19 68b 1103 math optional coq_8.0pl3- 2ubuntu1. dsc d7e7cff18ab63af b97 16498 math optional coq_8.0pl3- 2ubuntu1. diff.gz Maintainer: Debian OCaml Maintainers <email address hidden>
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-
Changes:
coq (8.0pl3-2ubuntu1) feisty; urgency=low
.
* Fix desktop file according with freedesktop spec (LP: #49546)
* debian/control:
- Updated maintainer field;
Files:
74a2fe3abbf7b7
cb19beeb7228c2
Original-
-----BEGIN PGP SIGNATURE-----
P1313boLqAQNn7Q P/TCweIXhrv1V4n Ftw2gTFgn4hXqJm 30qA IO9VbkyNPTZwtXC 0YnPDXc1OWTd7TK 5Gok6MaDcZTZimn 9AmP5 9mxLGHVbKWSVzZS i6HqJ7ukrtY15ib 8RSw+85aPmlY1Sj VC9FtQ
Version: GnuPG v2.0.3 (GNU/Linux)
iQCVAwUBRgLTWaP
OQiSyGkSRbBkp/
iruoZWbyguhz/
EhI0oo19yBY=
=NIEI
-----END PGP SIGNATURE-----