Jack Hill 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 sei
Hi Guix,
It looks like our rust-fiat-crypto package is not built from source, but
from autogenerated files. All the code retuned by `guix build -S
rust-fiat-crypto` contains headers like
"""
// AUTOGENERATED FILE: DO NOT EDIT
"""
or
"""
//! Autogenerated: 'src/ExtractionOCaml/word_by_word_m
