Chuck d13360bfb7 lua5: Fix src URLs
The 672c3c1d2a8ed40c1ef6bd29823af6a8c915584c refactor accidentally
dropped the last version component from the source URLs.  This change
puts its back.

$ for lua in lua5_{1,2,3};do nix-instantiate --json --eval . -A $lua.src.urls | jq -r '.[]' | xargs nix-prefetch-url; done

Before this change:

lua-5.1.tar.gz 1hbjhh211p82vhwqhx4mmhmvhv56060acnka80gbmfdk3q3bjnvz (wrong hash because this is lua 5.1.0.  We want 5.1.5 )
lua-5.2.tar.gz HTTP error 404
lua-5.3.tar.gz HTTP error 404

After this change:

lua-5.1.5.tar.gz 0cskd4w0g6rdm2q8q3i4n1h3j8kylhs3rq8mxwl9vwlmlxbgqh16
lua-5.2.4.tar.gz 0jwznq0l8qg9wh5grwg07b5cy3lzngvl5m2nl1ikp6vqssmf9qmr <-- Desired hash
lua-5.3.5.tar.gz 1b2qn2rv96nmbm6zab4l877bd4zq7wpwm8drwjiy2ih4jqzysbhc

Converted to base16 with `nix-hash --type sha256 --to-base16`:

lua-5.1.5.tar.gz 2640fc56a795f29d28ef15e13c34a47e223960b0240e8cb0a82d9b0738695333 <-- Desired hash
lua-5.2.4.tar.gz b9e2e4aad6789b3b63a056d442f7b39f0ecfca3ae0f1fc0ae4e9614401b69f4b
lua-5.3.5.tar.gz 0c2eed3f960446e1a3e4b9a1ca2f3ff893b6ce41942cf54d5dd59ab4b3b058ac <-- Desired hash
2020-01-31 18:00:45 -08:00
..
2019-08-26 21:40:19 +00:00
2019-10-06 17:46:34 -07:00
2019-08-28 11:07:32 +00:00
2019-08-28 11:07:32 +00:00
2019-12-11 13:33:35 +01:00
2019-08-17 10:54:38 +00:00
2019-12-08 21:47:09 +01:00
2019-12-30 04:50:37 +01:00
2019-12-31 00:25:26 +01:00
2020-01-23 13:16:58 +01:00
2019-08-28 11:07:32 +00:00
2019-12-16 20:20:20 -05:00
2019-12-31 00:15:46 +01:00
2020-01-21 15:34:14 +00:00
2019-12-15 13:31:53 -08:00
2019-11-13 16:27:38 +01:00
2019-11-18 20:10:43 +00:00
2020-01-06 09:50:36 -08:00
2019-12-31 00:15:46 +01:00
2020-01-10 19:39:34 -05:00
2019-11-01 21:49:48 -07:00
2020-01-21 17:04:55 +00:00
2019-12-31 00:15:46 +01:00
2020-01-31 18:00:45 -08:00
2019-11-18 20:10:43 +00:00
2019-08-28 11:07:32 +00:00
2020-01-03 10:57:55 +01:00
2019-08-17 10:54:38 +00:00
2020-01-20 18:11:00 +00:00
2019-12-31 01:09:25 +01:00
2020-01-06 22:25:42 -08:00
2019-09-08 23:38:31 +00:00
2019-08-31 07:41:22 -04:00
2020-01-28 10:46:13 +01:00
2019-08-28 11:07:32 +00:00
2020-01-22 11:26:22 +01:00
2019-08-28 11:07:32 +00:00
2019-12-19 09:46:36 -05:00
2019-08-31 07:41:22 -04:00
2020-01-16 12:29:04 -08:00
2020-01-07 17:36:29 +01:00