Subject: Re: bug#53742: rust-fiat-crypto missing source

From: "Dr. Arne Babenhauserheide" <[email-masked]>
Date: Thu, 03 Feb 2022 08:30:54 +0100

Jack Hill <[email-masked]> writes:
> These files are autogenerated from the Coq source. I think that we
> should build from that source as part of our package definition.
>
> What do you think?

I think that sounds sensible. Can you try whether it works?

Best wishes,
Arne
-- 
Unpolitisch sein
heißt politisch sein,
ohne es zu merken.
draketo.de