Stream: Coq users

Topic: `coqc -vok` not creating `vok` files


view this post on Zulip Paolo Giarrusso (Feb 27 2022 at 15:53):

This seems new in Coq 8.15... and means that repeating a vok build will start over.

view this post on Zulip Paolo Giarrusso (Feb 27 2022 at 15:54):

Does anybody else see this?

view this post on Zulip Ramkumar Ramachandra (Feb 27 2022 at 17:50):

@Paolo Giarrusso Thanks for reporting! Proposed fix: https://github.com/coq/coq/pull/15745

view this post on Zulip Paolo Giarrusso (Feb 27 2022 at 22:20):

Well, thanks for reacting so quickly!


Last updated: Jan 29 2023 at 01:02 UTC