2006-06-13 07:25:24 |
Vassilis Pandis |
bug |
|
|
added bug |
2006-06-13 07:26:07 |
Vassilis Pandis |
bug |
|
|
added attachment 'coqide.desktop' (.desktop diff) |
2006-06-13 07:27:14 |
Vassilis Pandis |
bug |
|
|
added attachment 'coqide.diff' (the .diff) |
2006-06-13 07:27:28 |
Vassilis Pandis |
coq: importance |
Untriaged |
Low |
|
2006-06-13 07:27:28 |
Vassilis Pandis |
coq: statusexplanation |
|
|
|
2006-08-16 01:27:19 |
Vassilis Pandis |
coq: assignee |
|
pandisv |
|
2006-08-16 14:00:23 |
Vassilis Pandis |
bug |
|
|
assigned to coq (Debian) |
2006-08-16 16:05:45 |
Vassilis Pandis |
coq: assignee |
pandisv |
motu |
|
2006-08-16 16:05:45 |
Vassilis Pandis |
coq: statusexplanation |
|
fixed in debian experimental |
|
2006-08-17 06:33:57 |
Bug Watch Updater |
coq: status |
Unknown |
Unconfirmed |
|
2006-09-13 07:26:46 |
Bug Watch Updater |
coq: status |
Unconfirmed |
Fix Committed |
|
2006-11-23 11:43:06 |
Bug Watch Updater |
coq: status |
Fix Committed |
Fix Released |
|
2007-03-09 20:23:18 |
Barry deFreese |
bug |
|
|
added subscriber Ubuntu Sponsors for universe |
2007-03-15 22:19:22 |
William Grant |
coq: status |
Unconfirmed |
Confirmed |
|
2007-03-15 22:19:22 |
William Grant |
coq: assignee |
motu |
|
|
2007-03-15 22:19:22 |
William Grant |
coq: statusexplanation |
fixed in debian experimental |
|
|
2007-03-22 12:40:01 |
Jonh Wendell |
coq: status |
Confirmed |
In Progress |
|
2007-03-22 12:40:01 |
Jonh Wendell |
coq: assignee |
|
wendell |
|
2007-03-22 12:43:54 |
Jonh Wendell |
bug |
|
|
added attachment 'coq.diff' (debdiff) |
2007-03-22 19:26:42 |
Michael Bienia |
coq: status |
In Progress |
Fix Committed |
|
2007-03-22 19:26:42 |
Michael Bienia |
coq: statusexplanation |
|
-----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@lists.ubuntu.com>
Changed-By: Jonh Wendell <wendell@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@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----- |
|
2007-03-24 02:11:13 |
Jonh Wendell |
coq: status |
Fix Committed |
Fix Released |
|
2007-03-24 02:11:13 |
Jonh Wendell |
coq: statusexplanation |
-----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@lists.ubuntu.com>
Changed-By: Jonh Wendell <wendell@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@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----- |
|
|
2010-01-02 19:30:29 |
Benjamin Drung |
removed subscriber Ubuntu Sponsors for universe |
|
|
|
2012-02-23 21:29:35 |
Kai Kasurinen |
removed subscriber Kai Kasurinen |
|
|
|