From debbugs-submit-bounces@debbugs.gnu.org Mon Apr 27 08:13:02 2020 Received: (at submit) by debbugs.gnu.org; 27 Apr 2020 12:13:02 +0000 Received: from localhost ([127.0.0.1]:35800 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jT2dB-000886-NH for submit@debbugs.gnu.org; Mon, 27 Apr 2020 08:13:01 -0400 Received: from lists.gnu.org ([209.51.188.17]:60856) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jT2dA-00087w-I1 for submit@debbugs.gnu.org; Mon, 27 Apr 2020 08:13:00 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:34606) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jT2d9-0000iy-JT for guix-patches@gnu.org; Mon, 27 Apr 2020 08:13:00 -0400 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-0.9 required=5.0 tests=BAYES_00, FROM_EXCESS_BASE64, SPF_HELO_PASS,URIBL_BLOCKED autolearn=no autolearn_force=no version=3.4.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.90_1) (envelope-from ) id 1jT2d3-0007yX-VI for guix-patches@gnu.org; Mon, 27 Apr 2020 08:12:59 -0400 Received: from pat.zlotemysli.pl ([37.59.186.212]:59034) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jT2d3-0007v4-BF for guix-patches@gnu.org; Mon, 27 Apr 2020 08:12:53 -0400 Received: (qmail 31266 invoked by uid 1009); 27 Apr 2020 14:12:50 +0200 Received: from 188.123.215.55 (kuba@kadziolka.net@188.123.215.55) by pat (envelope-from , uid 1002) with qmail-scanner-2.08st (clamdscan: 0.98.6/25794. spamassassin: 3.4.0. perlscan: 2.08st. Clear:RC:1(188.123.215.55):. Processed in 0.027118 secs); 27 Apr 2020 12:12:50 -0000 Received: from unknown (HELO gravity) (kuba@kadziolka.net@188.123.215.55) by pat.zlotemysli.pl with SMTP; 27 Apr 2020 14:12:50 +0200 Date: Mon, 27 Apr 2020 14:12:48 +0200 From: Jakub =?utf-8?B?S8SFZHppb8WCa2E=?= To: x@wilsonb.com Subject: Re: gnu: Add metamath Message-ID: <20200427121248.cga7p43flnusf7zo@gravity> References: <3JR2ES0G0DYM2.3NI13ZSG185CK@wilsonb.com> <20200426172945.7ez6i2fl3pjcoexd@gravity> <2RKLUI9248WBS.24Y0W3OIHXG53@wilsonb.com> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="4hmaoeel7hlxin4v" Content-Disposition: inline In-Reply-To: <2RKLUI9248WBS.24Y0W3OIHXG53@wilsonb.com> Received-SPF: none client-ip=37.59.186.212; envelope-from=kuba@kadziolka.net; helo=pat.zlotemysli.pl X-detected-operating-system: by eggs.gnu.org: First seen = 2020/04/27 08:12:51 X-ACL-Warn: Detected OS = Linux 3.1-3.10 X-Received-From: 37.59.186.212 X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: submit Cc: "B. Wilson" , guix-patches@gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) --4hmaoeel7hlxin4v Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Mon, Apr 27, 2020 at 01:21:03PM +0900, x@wilsonb.com wrote: > > > +(define-public metamath > > > + (package > > > + (name "metamath") > > > + (version "0.182") > > > + (source > > > + (origin > > > + (method url-fetch) > > > + (uri "http://us2.metamath.org/downloads/metamath-program.zip") > >=20 > > This looks like an unversioned URL. That's not ideal, since when > > upstream will release a new version, it will break the hash below. I > > looked around on their website and couldn't find a versioned URL, but I > > also couldn't find the one you're using. We could fetch from GitHub > > instead... >=20 > This is a long story. >=20 > The official tar linked on upstream's homepage is also unversioned and ge= ts > updated daily via some automatic script. The reason being that they also > provide snapshots of the databases from the set.mm repository. >=20 > To boot, the GitHub repository (https://github.com/metamath/metamath-exe)= only > contains a single, outdated release tar, which is simply a spurious bypro= duct > of a prolonged discussion I had with upstream regarding the problems their > release tars pose for package maintainers. I notice, though, that the commits in the repository are up to date. We could pin a specific commit ID. This practice is relatively common in Guix and does not pose a problem. Regards, Jakub K=C4=85dzio=C5=82ka --4hmaoeel7hlxin4v Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAABCAAdFiEE5Xa/ss9usT31cTO54xWnWEYTFWQFAl6mzDoACgkQ4xWnWEYT FWSMcA//ZY1G0QDy9ZPMdTqUxb6HO2bgd20g44sU8nRZXkQYKkLCuCGpu3we4zbz vt5F1CprCZh6GkdGfZi6ROj/o42C+hW8R1uRg4Q2gWNFq1NaqyL/ie5SWL0Xoa9g U0ClJZnwK9a2dEDbEj5X6dZJUzSLBBmv9l4Dm5Sr14w0ijovZmI8vz6IGlJ8fZoE z7TMOz/XgEgGg7OMmjok9Q0FrS36xKmkiak+BNC9t1ozMbHfVI3XNKn3ba4tmktB wyCtOSKJ5T+gv5myAtIlxJn3dseOHX9T+TuUKAyYFLTwdantdNvWDMuIOy9eE4A3 xTHbhTNYzAwu+WAgY5Pg6OtqUNnFfN5qb0JqEQFChUW/dY27/INdA+kgMhSdat34 L1dKGobUs22cWPxrQN1JpuxMVVB7YZC48/B/O6JYC3VhS3h7Lwt+Pl9IhHM0XEUo V2hRTzrHl3J5AflC7uVFLlGxqW/fF7yHVXd2ip9koXIayj52OzyBZnc1VIXdHYX0 GB/7dS/nX7bqFQ0Eoz4nsvTmFbJkObEPKJLjY5ITRjH0EWle0NuDNUiIt1Ul1L79 9tED8iRFbIpxGsgtS3keaK0SxcNO4dWxeFMflk8XvnEc7smqGj5uKzS5888h80ta 2EAvxC2vMt4VxtRSJ6w5BKVls7diIn9/yons4OD4zv4atan91hM= =f/wi -----END PGP SIGNATURE----- --4hmaoeel7hlxin4v--