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 ) 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 ; Sun, 30 Mar 2008 15:38:14 +0000 (UTC) Received: by wf-out-1314.google.com with SMTP id 27so1090072wfd.10 for ; 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: Date: Sun, 30 Mar 2008 17:38:13 +0200 From: "Ioannis Aslanidis" 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: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail 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> <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) wrote: > -----BEGIN PGP SIGNED MESSAGE----- > Hash: SHA1 > > Duncan wrote: > | Brian Harring 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 > , #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 0x47F370A0 -- gentoo-dev@lists.gentoo.org mailing list