Skip to content

Releases: rocq-community/micromega-plugin

Micromega-plugin 1.1.0

29 May 12:29
@proux01 proux01
v1.1.0
8d5ccf6
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Micromega-plugin 1.1.0 Latest
Latest

Compatible with Rocq 9.0, 9.1 and 9.2

Assets 2
Loading

Micromega-plugin 1.0.0

16 Apr 08:32
@proux01 proux01
v1.0.0
4eddf25

Choose a tag to compare

View all tags
Micromega-plugin 1.0.0

Compatible with Rocq 9.0, 9.1 and 9.2

Loading