From mboxrd@z Thu Jan 1 00:00:00 1970
Received: from pigeon.gentoo.org ([69.77.167.62] helo=lists.gentoo.org)
by finch.gentoo.org with esmtp (Exim 4.60)
(envelope-from <gentoo-dev+bounces-30095-garchives=archives.gentoo.org@lists.gentoo.org>)
id 1Jfzbt-0000e5-0z
for garchives@archives.gentoo.org; Sun, 30 Mar 2008 15:38:17 +0000
Received: from pigeon.gentoo.org (localhost [127.0.0.1])
by pigeon.gentoo.org (Postfix) with SMTP id A0BEAE049A;
Sun, 30 Mar 2008 15:38:15 +0000 (UTC)
Received: from wf-out-1314.google.com (wf-out-1314.google.com [209.85.200.169])
by pigeon.gentoo.org (Postfix) with ESMTP id 7AC55E049A
for <gentoo-dev@lists.gentoo.org>; Sun, 30 Mar 2008 15:38:14 +0000 (UTC)
Received: by wf-out-1314.google.com with SMTP id 27so1090072wfd.10
for <gentoo-dev@lists.gentoo.org>; Sun, 30 Mar 2008 08:38:13 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=gmail.com; s=beta;
h=domainkey-signature:received:received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
bh=WflDyqgyAFV1Zaf/uciYYIgekSAy6YygEKJmZEJWeHM=;
b=k+LuJmdZnA2/cULBaZg+mCanP2gU1gjk5GUrN0ahqwanF7gbbSbVnm9YdDrUrEB/DkoFQyK2VEMPiWkkRGhSWXzqmnAdA33t97kXOOqrWCKNIBMkyZQ0RE9BdGaM75CmvgT6CBPupxAxtWTehQA071JMGtNL5yWs0jtw+fkIXTM=
DomainKey-Signature: a=rsa-sha1; c=nofws;
d=gmail.com; s=beta;
h=message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
b=Hg3xOvEXMEo3Cty/biT+9X1phd201KPDLfc+szvXBM7VAQd2eeLL8eLpEQlCceOXgXoXbIZIYngRHeQojLXE7vAWT+c6k2ShsbU00uZi8KatiEuSZOQJlhP0eYE/TbpRzayk6AWgu7u5b7zWx0z4ehoxNtbR96B7RTr8+B2hrRQ=
Received: by 10.142.11.2 with SMTP id 2mr3076440wfk.233.1206891493779;
Sun, 30 Mar 2008 08:38:13 -0700 (PDT)
Received: by 10.142.155.10 with HTTP; Sun, 30 Mar 2008 08:38:13 -0700 (PDT)
Message-ID: <ea440b1d0803300838s1b893663s4fbec41073202471@mail.gmail.com>
Date: Sun, 30 Mar 2008 17:38:13 +0200
From: "Ioannis Aslanidis" <aslanidis@gmail.com>
To: gentoo-dev@lists.gentoo.org
Subject: Re: [gentoo-dev] Re: explicit -r0 in ebuild filename
In-Reply-To: <47EFA990.2000004@gentoo.org>
Precedence: bulk
List-Post: <mailto:gentoo-dev@lists.gentoo.org>
List-Help: <mailto:gentoo-dev+help@lists.gentoo.org>
List-Unsubscribe: <mailto:gentoo-dev+unsubscribe@lists.gentoo.org>
List-Subscribe: <mailto:gentoo-dev+subscribe@lists.gentoo.org>
List-Id: Gentoo Linux mail <gentoo-dev.gentoo.org>
X-BeenThere: gentoo-dev@lists.gentoo.org
Reply-to: gentoo-dev@lists.gentoo.org
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
References: <20080330023902.GA8787@seldon.hsd1.ca.comcast.net>
<20080330034811.39942523@snowcone>
<20080330031237.GA8925@seldon.hsd1.ca.comcast.net>
<20080330042057.089d0f8e@snowcone>
<20080330041651.GA9041@seldon.hsd1.ca.comcast.net>
<20080330054044.780dd65e@snowcone>
<20080330093946.GA9305@seldon.hsd1.ca.comcast.net>
<pan.2008.03.30.13.10.15@cox.net> <47EFA990.2000004@gentoo.org>
X-Archives-Salt: 80546a50-68aa-445d-b5fc-e383288c9407
X-Archives-Hash: cc388e10b07fb32ee1488c323a65612b
If you are asking about mathematic stright definition:
negative integer: -inf,...,-1
positive integer: 1,...,inf
natural: 0,...,inf
The group of natural numbers includes the positive integers and zero.
That is the definition in most places in the world; however, in the
United States and a few more countries, non-negative integers is how
the lot is called.
On Sun, Mar 30, 2008 at 4:54 PM, Marijn Schouten (hkBst)
<hkBst@gentoo.org> wrote:
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
>
> Duncan wrote:
> | Brian Harring <ferringb@gmail.com> posted
> | 20080330093946.GA9305@seldon.hsd1.ca.comcast.net, excerpted below, on
> | Sun, 30 Mar 2008 02:39:46 -0700:
> |
> |> No need to ban 1.00; it's already banned by PMS- quoting from names.tex:
> |>
> |> A version starts with the number part, which is in the form
> |> \t{[0-9]+($\backslash$.[0-9]+)*} (a positive integer, followed by zero
> |> or more dot-prefixed positive integers).
> |>
> |> Note the 'positive integers'; so 1.00 is actually blocked by PMS. That
> |> said, that same text seems to invalidly ban 1.0 also.
> |
> | Well, "positive integer" as used must include zero also, or by that
> | definition, 0.xx style versions would be disallowed as well. That just
> | wouldn't be sane if we're to keep anything even /close/ to upstream
> | version mapping, so "positive" as used here must include 0 (and does by
> | the literal ranged definition), and both 0.xx and x.00 are therefore
> | defined as allowed, unless there's a further restriction elsewhere that
> | hasn't been quoted.
> |
>
> "non-negative integer" must've been meant.
>
> - --
> Marijn Schouten (hkBst), Gentoo Lisp project, Gentoo ML
> <http://www.gentoo.org/proj/en/lisp/>, #gentoo-{lisp,ml} on FreeNode
> -----BEGIN PGP SIGNATURE-----
> Version: GnuPG v2.0.9 (GNU/Linux)
> Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
>
> iEYEARECAAYFAkfvqZAACgkQp/VmCx0OL2xPsQCbBNKtynU9aSdr3uY+x+sDt4tR
> 0SQAoK/sGruoV0qr8wyfB2qNPy0SzH7q
> =QsyO
> -----END PGP SIGNATURE-----
>
> --
> gentoo-dev@lists.gentoo.org mailing list
>
>
--
Ioannis Aslanidis
<deathwing00[at]gentoo.org> 0x47F370A0
--
gentoo-dev@lists.gentoo.org mailing list