Processed: coq: FTBFS in bullseye

2024-05-11 Thread Debian Bug Tracking System
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

Processed: coq breaks coquelicot autopkgtest: Compiled library Coquelicot.Rcomplements makes inconsistent assumptions over library Coq.Init.Ltac

2022-05-29 Thread Debian Bug Tracking System
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

Processed: coq breaks coq-bignums autopkgtest: Compiled library Bignums.BigN.BigN makes inconsistent assumptions over library Coq.Init.Ltac

2022-05-29 Thread Debian Bug Tracking System
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

Processed: coq-doc-pdf: bookmarks and links for table of contents

2014-10-19 Thread Debian Bug Tracking System
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

Processed: Coq cannot compile CoRN: solution

2006-02-19 Thread Debian Bug Tracking System
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

Re: Processed: coq

2003-10-26 Thread Stefano Zacchiroli
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

Re: Processed: coq

2003-10-26 Thread Stefano Zacchiroli
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

Processed: coq

2003-10-25 Thread Debian Bug Tracking System
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

Processed: coq

2003-10-25 Thread Debian Bug Tracking System
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