Profiles › full › Snapshots › ba4c6f9495a4 › diff c037ffa829b5

full — diff

From ba4c6f9495a4 to c037ffa829b5

Package changes

PackageVersionStatusChange
elpi3.7.3successadded
reanalyze2.26.0successadded

Repository commits

opam-repository a7aea25ec57e..dbd97d0f059e

CommitDateAuthorSubject
dbd97d0f052026-09-03Raphaël ProustMerge pull request #30591 from Kakadu/dune-secondary-constraint
6251d9f5522026-09-03Raphaël ProustMerge pull request #30624 from gares/release-elpi-v3.7.3
6b4781c7102026-09-03Marcello SeriMerge pull request #30626 from cristianoc/reanalyze-2.26.0
a29556cde92026-09-03Cristiano Calcagno[new release] reanalyze (2.26.0)
f30ee39c282026-09-03Enrico Tassi[new release] elpi (3.7.3)
f0ebc9bd9e2026-08-29Kakadumenhir-secondary need OCaml < 5.2
d08570b4db2026-08-29Kakadudune-secondary 3.16 needs OCaml < 5.4