Efraim Flashner
4c60c6e412
gnu: mrustc: Update to 0.10.1.
...
* gnu/packages/rust.scm (%mrustc-commit, %mrustc-source): Update.
[snippet]: Adjust snippet to make sure to get all the '-g' flags.
(rust-bootstrap)[arguments]: Remove substitution adjusting the number of
parallel builds. Remove unneeded substitution.
* gnu/packages/patches/rustc-1.54.0-src.patch: Refresh from upstream.
Change-Id: I6f806ee89dcb8e95e8bd2d443328844079ee533e
2024-02-20 13:57:41 +02:00
..
2023-11-14 13:47:10 +01:00
2023-11-14 13:30:48 +01:00
2023-08-03 17:38:11 +08:00
2023-09-18 23:35:30 +02:00
2023-11-22 22:56:22 +02:00
2023-09-08 19:12:14 +02:00
2024-02-13 11:04:48 +00:00
2023-08-17 17:39:32 +02:00
2023-11-12 08:49:45 +02:00
2023-11-12 08:49:46 +02:00
2023-10-15 02:00:00 +02:00
2024-01-21 15:48:36 +01:00
2023-10-13 20:09:51 +02:00
2023-12-17 01:27:00 -05:00
2023-12-22 17:47:16 +01:00
2024-01-07 20:52:04 +01:00
2024-01-28 22:50:49 +01:00
2023-08-16 11:24:10 -04:00
2023-08-19 01:55:30 +02:00
2023-10-05 01:34:21 -04:00
2023-08-19 01:05:22 +02:00
2023-10-08 08:40:57 +02:00
2023-10-08 08:40:57 +02:00
2024-01-19 15:05:53 -05:00
2023-08-19 08:43:37 +02:00
2023-09-17 16:22:04 -04:00
2023-10-10 00:06:14 -04:00
2023-10-10 00:06:14 -04:00
2023-08-15 00:26:10 +02:00
2024-01-09 22:10:12 -05:00
2024-01-09 22:10:12 -05:00
2024-01-09 22:10:12 -05:00
2024-01-09 22:10:12 -05:00
2024-01-09 22:10:12 -05:00
2024-01-09 22:10:12 -05:00
2024-01-09 22:10:12 -05:00
2024-01-14 10:01:59 +01:00
2023-08-19 12:40:13 +02:00
2023-12-16 18:05:57 +02:00
2023-12-18 13:03:36 +02:00
2023-12-18 13:03:36 +02:00
2023-09-28 11:44:10 +02:00
2023-09-08 18:53:46 +08:00
2023-09-08 18:53:46 +08:00
2023-09-08 18:53:46 +08:00
2023-09-08 18:53:46 +08:00
2023-09-08 18:53:46 +08:00
2023-09-08 18:53:46 +08:00
2023-11-15 18:03:01 +02:00
2023-11-15 18:03:02 +02:00
2023-11-15 18:03:02 +02:00
2023-10-06 12:26:45 +02:00
2023-10-12 06:49:02 +02:00
2023-09-14 23:52:37 +02:00
2023-09-16 17:46:57 +02:00
2024-02-12 23:33:23 +00:00
2023-09-02 07:03:08 +02:00
2023-11-24 12:51:28 +02:00
2023-08-08 21:54:54 +08:00
2024-01-08 23:13:53 +01:00
2023-08-15 00:33:51 +02:00
2023-10-25 11:59:58 +02:00
2023-08-22 12:34:20 -04:00
2023-09-28 04:29:34 -04:00
2023-10-23 11:19:02 +02:00
2023-09-28 04:29:34 -04:00
2023-10-23 11:19:02 +02:00
2023-10-09 18:11:07 +02:00
2023-12-02 12:25:46 +01:00
2024-01-09 22:10:13 -05:00
2024-01-09 22:10:13 -05:00
2024-01-09 22:10:13 -05:00
2024-01-09 22:10:13 -05:00
2024-01-09 22:10:13 -05:00
2024-01-10 16:42:03 +01:00
2024-01-10 16:42:03 +01:00
2023-08-02 14:40:45 +02:00
2023-07-30 18:34:40 -04:00
2023-09-25 11:30:02 +01:00
2023-09-14 23:30:46 +02:00
2023-09-14 23:37:19 +02:00
2024-02-07 13:41:57 +01:00
2024-02-07 13:41:57 +01:00
2024-02-07 13:41:57 +01:00
2024-01-09 22:10:13 -05:00
2023-09-24 02:00:00 +02:00
2024-01-28 21:03:31 -05:00
2024-02-20 13:56:39 +02:00
2023-08-19 09:44:14 +02:00
2023-07-30 01:05:41 -04:00
2023-09-14 23:15:48 +02:00
2023-10-30 11:17:42 +00:00
2024-01-01 14:35:12 +01:00
2023-09-21 20:36:13 +02:00
2024-01-10 22:09:49 +01:00
2024-01-10 21:52:33 +01:00
2024-01-14 23:00:04 +01:00
2023-11-30 09:08:05 +01:00
2023-11-30 09:08:05 +01:00
2023-08-16 11:04:21 -04:00
2023-12-04 22:26:37 +01:00
2023-12-04 22:26:37 +01:00
2023-10-30 11:17:42 +00:00
2024-01-16 14:52:21 +01:00
2024-01-09 10:19:43 +01:00
2024-01-01 14:35:12 +01:00
2024-01-16 12:44:37 +01:00
2023-12-02 07:57:18 +01:00
2024-01-07 16:56:00 +01:00
2023-09-05 23:30:02 -04:00
2023-10-10 00:06:14 -04:00
2023-10-16 11:16:01 -04:00
2023-10-16 11:16:01 -04:00
2023-08-22 12:32:20 -04:00
2023-08-22 12:32:20 -04:00
2024-01-30 15:16:20 +01:00
2024-02-19 14:07:29 +01:00
2023-12-13 12:58:43 +01:00
2024-02-13 11:04:48 +00:00
2024-02-18 15:55:06 +01:00
2023-10-18 11:35:39 +03:00
2024-02-20 13:56:40 +02:00
2024-02-20 13:56:38 +02:00
2024-02-20 13:56:52 +02:00
2024-02-20 13:56:48 +02:00
2024-02-20 13:57:41 +02:00
2024-01-26 10:09:35 +01:00
2024-01-09 10:04:20 +01:00
2024-01-10 22:57:43 +01:00
2024-02-16 08:16:53 +01:00
2023-12-23 11:17:49 +01:00
2023-12-23 11:17:49 +01:00
2023-10-03 20:21:42 +08:00
2023-09-18 23:35:07 +02:00
2023-10-21 00:27:26 +02:00
2024-02-13 11:04:47 +00:00
2023-10-21 00:27:26 +02:00
2023-12-29 14:57:37 -05:00
2024-01-18 10:18:00 -08:00
2024-01-18 10:18:00 -08:00
2023-12-22 16:05:50 -08:00
2023-11-15 11:36:20 +01:00
2024-01-14 10:02:07 +01:00
2024-01-14 10:02:07 +01:00
2023-08-31 18:01:52 +08:00
2023-10-05 17:07:16 +02:00
2023-09-01 16:40:19 +08:00
2023-09-24 02:00:00 +02:00
2023-09-24 02:00:00 +02:00
2023-10-01 08:14:56 +02:00
2023-10-01 08:14:56 +02:00
2023-10-01 08:14:56 +02:00
2024-01-01 14:35:12 +01:00
2023-09-28 11:44:09 +02:00
2023-09-28 11:44:09 +02:00
2023-11-25 23:35:03 +01:00
2023-12-03 09:54:03 +02:00