From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:34674) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jT2eB-00012L-Ik for guix-patches@gnu.org; Mon, 27 Apr 2020 08:14:03 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.90_1) (envelope-from ) id 1jT2eA-000090-OR for guix-patches@gnu.org; Mon, 27 Apr 2020 08:14:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:52488) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jT2eA-00008u-CV for guix-patches@gnu.org; Mon, 27 Apr 2020 08:14:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1jT2eA-00089w-7Y for guix-patches@gnu.org; Mon, 27 Apr 2020 08:14:02 -0400 Subject: [bug#40815] gnu: Add metamath Resent-Message-ID: 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 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 Date: Mon, 27 Apr 2020 14:12:48 +0200 From: Jakub =?UTF-8?Q?K=C4=85dzio=C5=82ka?= 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> 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: x@wilsonb.com Cc: elaexuotee@wilsonb.com, 40815@debbugs.gnu.org --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--