Profiles › full › Snapshots › cdd0ba623bd1 › diff 4970033c84c3

full — diff

From cdd0ba623bd1 to 4970033c84c3

Package changes

No differences.

Repository commits

opam-repository 57955bc4d568..b85c6d090299

CommitDateAuthorSubject
b85c6d09022026-08-03Jan MidtgaardMerge pull request #30386 from Kakadu/vecosek.0.0.0-mirror
7977ebefad2026-08-03Jan MidtgaardMerge pull request #30363 from Kakadu/rfsm.1.5-mirror
95fecad6c42026-08-03Dmitrii KosarevApply suggestion from @jmid
8ded9cf3492026-08-02KakaduFix rfsm 1./5 mirror again
660f24dcee2026-08-02KakaduRevert "Fix rfsm.1.5 mirror."
6afed544da2026-07-29KakaduFix rfsm.1.5 mirror.
75454f451d2026-08-01KakaduFixup: Add non-empty synopsis
062f516da32026-08-01KakaduPut vecosek to opm source archives. See https://github.com/ocaml/opam-repository/issues/30240