rocq-elpi version history (formula)
rocq-elpi
formula 8 versions
since Mar 2025
~31 days between updates
Track rocq-elpi — subscribe to the RSS feed to get an item each time it updates.
| Version | Updated | Commit |
|---|---|---|
| 3.4.0 | 2026-05-19 | c5d2d3cea |
| 3.3.1 | 2026-03-21 | e3c3a85df |
| 3.3.1 | 2026-03-12 | 790208970 |
| 3.2.0 | 2026-02-09 | 16c26b76d |
| 3.2.0 | 2025-10-05 | 79a9c4286 |
| 3.2.0 | 2025-09-19 | 86372908a |
| 3.1.0 | 2025-09-01 | 83657c40e |
| 3.0.0 | 2025-03-24 | 02f3b1d11 |