Skip to content

v0.0.5

Pre-release
Pre-release
Compare
Choose a tag to compare
@samuelgruetter samuelgruetter released this 19 Mar 14:33
· 18 commits to master since this release
v0.0.5
7ff6110
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode. 
Bump etc/coq-scripts from `d3dc888` to `5876e80` (#111)

Bumps [etc/coq-scripts](https://github.com/JasonGross/coq-scripts) from `d3dc888` to `5876e80`.
- [Commits](https://github.com/JasonGross/coq-scripts/compare/d3dc8880aeef4755e93dac250ab9cc3184b80c13...5876e80a10b459148ea49b848af3fb1b9507a7e6)

---
updated-dependencies:
- dependency-name: etc/coq-scripts
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Assets 2