Ricardo Almeida

I have an opam package, let's call it `pkg`, pinned to both a remote and local git branch (`git+file`). Recently I needed to bump the version of one of its...

Incompatibility with coq.8.17.1

1

When trying to resintall coq-bbv.1.3 after upgrading coq in opam to 8.17.1, the following error is produced: ```shell File "./src/bbv/DepEq.v", line 17, characters 0-32: Error: The default value for rewriting...

`Goals › Diff: Mode` not working with `On`/`Removed`

1

The option `Vscoq › Goals › Diff: Mode` seems to not be working. When I set it to `On` or `Removed`, restart VSCode, and attempt to start stepping through my...