unmerge 761301 762017
retitle 762017 make instead of make-guile should be standard
retitle 761301 Neither make nor make-guile should be standard
kthxbye
Hi,
I'm unmerging these two bugs again, because -- despite they're both
about make-guile being of priority standard -- they actually request
different and even contradicting solutions for the issue:
Joey wants make instead of make-guile priority standard. This is IMHO
the least thing which should be fixed as currently ...
* make-guile is installed by default,
* make has "Build-Essential: yes", and
* make and make-guile cannot be installed at the same time.
So installing build-essential needs to remove a package of priority
standard which sounds wrong to me. (Indirectly violates the rule that
all packages conflicting with something from the standard set should
have priority extra. So IMHO make-guile actually should have priority
extra.)
Josh on the other hand thinks that neither make nor make-guile should
have priority standard.
So these two bug reports are actually different requests, of which one
likely will be a "wontfix" and the other one should be fixed.
The only thing which is undisputed is that make-guile should not have
priority standard.
Regards, Axel
--
,''`. | Axel Beckert <a...@debian.org>, http://people.debian.org/~abe/
: :' : | Debian Developer, ftp.ch.debian.org Admin
`. `' | 4096R: 2517 B724 C5F6 CA99 5329 6E61 2FF9 CD59 6126 16B5
`- | 1024D: F067 EA27 26B9 C3FC 1486 202E C09E 1D89 9593 0EDE
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
