|
From: | Danny Milosavljevic |
Subject: | bug#38106: [PATCH] gnu: mrustc: Update to 0.8.1. |
Date: | Tue, 21 Jan 2020 08:35:45 +0100 |
Pushed to guix staging as commit 400a4d65acde14182fd9741d8a46ed5a6e8fd1d7 after extensive testing on bayfront. Commit 84800833eac3fd92e685d7977f3b4b06fc32aa44 cleans up mrustc a bit.
pgpcqnwazGYzd.pgp
Description: OpenPGP digital signature
[Prev in Thread] | Current Thread | [Next in Thread] |