Profiles › full › Snapshots › b341535def92 › diff bf7e26720984

full — diff

From b341535def92 to bf7e26720984

Package changes

PackageVersionStatusChange
grenier0.17successadded
vscoq-language-server2.5.1successadded
vsrocq-language-server2.5.1successadded

Repository commits

opam-repository 01b2bcb9be62..60801bf05924

CommitDateAuthorSubject
60801bf0592026-10-23Calascibetta RomainMerge pull request #30983 from let-def/release-grenier-v0.17
bf16c387cb2026-10-23Marcello SeriMerge pull request #30943 from vscoqbot/opam-publish-vscoq-language-server.2.5.1
50e5bad7b32026-10-23Frédéric Bour[new release] grenier (0.17)
9f309f59302026-10-21Marcello SeriUpdate packages/vsrocq-language-server/vsrocq-language-server.2.5.1/opam
057ceeda6a2026-10-16vscoqbot2 packages from rocq-prover/vsrocq at 2.5.1