[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#53742: rust-fiat-crypto missing source
|
From: |
Dr. Arne Babenhauserheide |
|
Subject: |
bug#53742: rust-fiat-crypto missing source |
|
Date: |
Thu, 03 Feb 2022 08:30:54 +0100 |
|
User-agent: |
mu4e 1.6.10; emacs 27.2 |
Jack Hill <jackhill@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
Description: PGP signature