Jack Hill <[email protected]> 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
