Skip to content

Commit

Permalink
Bump bbv from 6144e21 to f4caa05 (#1690)
Browse files Browse the repository at this point in the history
  • Loading branch information
@dependabot
dependabot[bot] authored Oct 24, 2023
1 parent 33b8243 commit bdffdd0
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion bbv
Submodule bbv updated 3 files
+3 −2 .github/workflows/coq.yml
+15 −16 src/bbv/NatLib.v
+92 −89 src/bbv/Word.v

0 comments on commit bdffdd0

Please sign in to comment.