GNU bug report logs - #53742
rust-fiat-crypto missing source

Previous Next

Full log

View this message in rfc822 format

From: "Dr. Arne Babenhauserheide" <arne_bab <at> web.de>
To: Jack Hill <jackhill <at> jackhill.us>
Cc: 53742 <at> debbugs.gnu.org, mail <at> nicolasgoaziou.fr, avityazev <at> posteo.org
Subject: bug#53742: rust-fiat-crypto missing source
Date: Thu, 03 Feb 2022 08:30:54 +0100

[Message part 1 (text/plain, inline)]

Jack Hill <jackhill <at> jackhill.us> 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

[signature.asc (application/pgp-signature, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.