Processing control commands:
> close -1 8.16.1+dfsg-1
Bug #1070920 [src:coq] coq: FTBFS in bullseye
Marked as fixed in versions coq/8.16.1+dfsg-1.
Bug #1070920 [src:coq] coq: FTBFS in bullseye
Marked Bug as done
--
1070920: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1070920
Debian Bug Tra
Processing control commands:
> found -1 coq/8.15.1+dfsg-2
Bug #1012061 [src:coq, src:coquelicot] coq breaks coquelicot autopkgtest:
Compiled library Coquelicot.Rcomplements makes inconsistent assumptions over
library Coq.Init.Ltac
Marked as found in versions coq/8.15.1+dfsg-2.
> found -1 coqueli
Processing control commands:
> found -1 coq/8.15.1+dfsg-2
Bug #1012060 [src:coq, src:coq-bignums] coq breaks coq-bignums autopkgtest:
Compiled library Bignums.BigN.BigN makes inconsistent assumptions over library
Coq.Init.Ltac
Marked as found in versions coq/8.15.1+dfsg-2.
> found -1 coq-bignums
Processing commands for cont...@bugs.debian.org:
> fixed 543548 coq-doc/8.4pl2-1
Bug #543548 [coq-doc-pdf] coq-doc-pdf: bookmarks and links for table of contents
Marked as fixed in versions coq-doc/8.4pl2-1.
> stop
Stopping processing here.
Please contact me if you need assistance.
--
543548: ht
Processing commands for [EMAIL PROTECTED]:
> tags 353493 +patch
Bug#353493: coq: Cannot compile CoRN; infinite memory-eating loop in
"intuition" execution in power_k_n.
There were no tags set.
Tags added: patch
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian
On Sat, Oct 25, 2003 at 03:03:14PM -0500, Debian Bug Tracking System wrote:
> > tags 214536 + wontfix
> Bug#214536: coq: Could you upgrade coq to version 7.4 ?
IMO you can close the bug. Unwillingness to upgrade a debian package to
an unreleased software version isn't a bug.
Cheers.
--
Stefano
On Sat, Oct 25, 2003 at 03:03:14PM -0500, Debian Bug Tracking System wrote:
> > tags 214536 + wontfix
> Bug#214536: coq: Could you upgrade coq to version 7.4 ?
IMO you can close the bug. Unwillingness to upgrade a debian package to
an unreleased software version isn't a bug.
Cheers.
--
Stefano
Processing commands for [EMAIL PROTECTED]:
> tags 214536 + wontfix
Bug#214536: coq: Could you upgrade coq to version 7.4 ?
There were no tags set.
Tags added: wontfix
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administr
Processing commands for [EMAIL PROTECTED]:
> tags 214536 + wontfix
Bug#214536: coq: Could you upgrade coq to version 7.4 ?
There were no tags set.
Tags added: wontfix
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administr
9 matches
Mail list logo