From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:45062) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dxezZ-0000aX-Sm for guix-patches@gnu.org; Thu, 28 Sep 2017 16:01:09 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dxezW-0004qH-6g for guix-patches@gnu.org; Thu, 28 Sep 2017 16:01:06 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:56701) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1dxezW-0004qC-2p for guix-patches@gnu.org; Thu, 28 Sep 2017 16:01:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1dxezV-0004Dc-SA for guix-patches@gnu.org; Thu, 28 Sep 2017 16:01:01 -0400 Subject: [bug#27344] [PATCH 0/12] Add computational software and circuit simulators Resent-Message-ID: From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) References: <8760g11j3e.fsf@openmailbox.org> <87zibzwjc2.fsf@gnu.org> <87d18kibus.fsf@openmailbox.org> <87bmlvrnd5.fsf@gnu.org> <87tvzngdvn.fsf@foradis.org> Date: Thu, 28 Sep 2017 22:00:17 +0200 In-Reply-To: <87tvzngdvn.fsf@foradis.org> (Theodoros Foradis's message of "Thu, 28 Sep 2017 16:18:52 +0300") Message-ID: <87a81elhke.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Theodoros Foradis Cc: 27344@debbugs.gnu.org Theodoros Foradis skribis: > Hello Ludovic, > >> So I managed to push ASCO, but there=E2=80=99s still some left. >> >> Could we resume this? > > Please take a look at the version 3 of the patch series that I sent this > month. > > Pushing asco (from version 2) was ok, the changes you did was actually > the same I did in the version 3 patch set, except that I didn't name the > coreutils-minimal input as "coreutils-minimal". Oops, sorry, I don=E2=80=99t know how I managed to overlook v3! Ludo=E2=80=99.