Profiles › full › Snapshots › 1164cbf5b25b › diff df193bd3dbcc

full — diff

From 1164cbf5b25b to df193bd3dbcc

Package changes

PackageVersionStatusChange
mehari0.5cascadeadded
mehari-miou0.5cascadeadded
mehari-mirage0.5cascadeadded
river0.6.1cascadeadded
rocq-waterproof3.1.1+9.1cascadeadded

Repository commits

opam-repository 76e3d58643de..6e0a3b49b863

CommitDateAuthorSubject
6e0a3b49b82026-11-08Marcello SeriMerge pull request #31130 from cuihtlauac/opam-publish-river.0.6.1
4c2839caf42026-11-08Marcello SeriMerge pull request #31129 from jim-portegies/opam-publish-rocq-waterproof.3.1.1-9.1
bf339265f62026-11-08Jan MidtgaardMerge pull request #30388 from Tim-ats-d/opam-publish-mehari.0.5
47fd3876df2026-11-08Tim-ats-d3 packages from Psi-Prod/Mehari at 0.5
82931e577e2026-11-08Cuihtlauac ALVARADOPackage river.0.6.1
bef3a8d31a2026-11-07Jim PortegiesPackage rocq-waterproof.3.1.1+9.1