From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: New importer for GNU packages Date: Fri, 21 Nov 2014 23:55:27 +0100 Message-ID: <87d28gkvts.fsf@gnu.org> References: <201411212232.sALMWBOc018251@freefriends.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:54069) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Xrx72-0003dN-RP for guix-devel@gnu.org; Fri, 21 Nov 2014 17:55:42 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Xrx6w-0007mr-Hh for guix-devel@gnu.org; Fri, 21 Nov 2014 17:55:36 -0500 Received: from hera.aquilenet.fr ([2a01:474::1]:36124) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Xrx6w-0007md-Aq for guix-devel@gnu.org; Fri, 21 Nov 2014 17:55:30 -0500 In-Reply-To: <201411212232.sALMWBOc018251@freefriends.org> (Karl Berry's message of "Fri, 21 Nov 2014 22:32:11 GMT") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: Karl Berry Cc: guix-devel@gnu.org karl@freefriends.org (Karl Berry) skribis: > More accessibly, the gnupackages.txt in womb/gnumaint on savannah has > the same list, minus the special cases. Using that info, via the API from (guix gnu-maintenance): --8<---------------cut here---------------start------------->8--- scheme@(guile-user)> ,use(guix gnu-maintenance) scheme@(guile-user)> ,use(gnu packages) scheme@(guile-user)> ,use(srfi srfi-1) scheme@(guile-user)> (length (official-gnu-packages)) $3 =3D 381 scheme@(guile-user)> (count (lambda (p) (pair? (find-packages-by-name (gnu-package-name p)))) (official-gnu-packages)) $4 =3D 155 scheme@(guile-user)> (/ $4 $3 1.) $5 =3D 0.4068241469816273 --8<---------------cut here---------------end--------------->8--- So we=E2=80=99re at 40% of coverage. Ludo=E2=80=99.