And do so for all the supported platorms.
Depends on D18958.
Differential D18959
[guix] Add the proof-manager-cli to the release Authored by Fabien on Tue, Nov 18, 16:22. Tags None Subscribers None Tokens
Details
And do so for all the supported platorms. Depends on D18958. Run the GUIX builds
Diff Detail
|