full — diff
From 2bf476cce102 to 3f23502e8352
Package changes
Repository commits
opam-repository 124ab5ca6741..32d3fddd984f
| Commit | Date | Author | Subject |
|---|
| 32d3fddd98 | 2026-09-06 | Jan Midtgaard | Merge pull request #30649 from asara-io/release-modelkit-0.4.1 |
| abdbebcafd | 2026-09-06 | Jan Midtgaard | Merge pull request #30653 from gares/opam-publish-vscoq-language-server.2.5.0 |
| f29501daef | 2026-09-06 | Jan Midtgaard | Merge pull request #30652 from panglesd/release-slipshow-v0.13.0 |
| 2fab01630b | 2026-09-05 | Enrico Tassi | lowerbound on sel |
| 8ae77c871b | 2026-09-05 | Paul-Elliot | [new release] slipshow (0.13.0) |
| 4fac1c2f86 | 2026-09-04 | Clyde Greene | [new release] modelkit (4 packages) (0.4.1) |
| b4b3569298 | 2026-09-04 | vscoqbot | 2 packages from rocq-prover/vsrocq at 2.5.0 |