ProfilesfullSnapshotsa315b93bb320 › diff eabbc6b9a9da

full — diff

From a315b93bb320 to eabbc6b9a9da

Package changes

PackageVersionStatusChange
libsail0.20.2successadded
ocsipersist2.1.0successadded
ocsipersist-dbm2.1.0successadded
ocsipersist-dbm-config2.1.0successadded
ocsipersist-lib2.1.0successadded
ocsipersist-pgsql2.1.0successadded
ocsipersist-pgsql-config2.1.0successadded
ocsipersist-sqlite2.1.0successadded
ocsipersist-sqlite-config2.1.0successadded
ppx_expect_nobase0.17.3.1successadded
raygui2.1.0cascadeadded
raylib2.1.0failureadded
raylib-callbacks2.1.0cascadeadded
sail0.20.2successadded
sail_c_backend0.20.2successadded
sail_coq_backend0.20.2successadded
sail_doc_backend0.20.2successadded
sail_latex_backend0.20.2successadded
sail_lean_backend0.20.2successadded
sail_lem_backend0.20.2successadded
sail_maker0.20.2successadded
sail_ocaml_backend0.20.2successadded
sail_output0.20.2successadded
sail_smt_backend0.20.2successadded
sail_sv_backend0.20.2successadded
sek20260619successadded

Repository commits

opam-repository 44ac1c71ddb2..8495e881d114

CommitDateAuthorSubject
8495e881d12026-06-22Marcello SeriMerge pull request #30099 from Alasdair/release-sail-0.20.2
08332dde0b2026-06-22Marcello SeriMerge pull request #30091 from Kakadu/release-ppx_expect_nobase-0.17.3.1
cfaf4b0ed02026-06-22Marcello SeriMerge pull request #30087 from tjammer/release-raylib-2.1.0
ec3f8baa722026-06-22Marcello SeriMerge pull request #30079 from fpottier/opam-publish-sek.20260619
5bf83f6f1b2026-06-22Marcello SeriMerge pull request #30046 from balat/opam-publish-ocsipersist.2.1.0
a6367671e22026-06-22Alasdair[new release] sail (13 packages) (0.20.2)
759699a97e2026-06-21Kakadu[new release] ppx_expect_nobase (0.17.3.1)
fc2159eb6e2026-06-20Tobias Mock[new release] raylib (3 packages) (2.1.0)
d16120f6d72026-06-20Vincent Balatocsipersist-dbm.2.1.0: also mark unavailable on win32 (Unix-only backend)
235b7bd0fd2026-06-20François PottierDeclare dependency of sek on core using with-dev-setup.
20abf5fe2a2026-06-19François PottierPackage sek.20260619
15e69b43f32026-06-15Marcello SeriApply suggestion from @mseri
d599ac084a2026-06-15Marcello SeriApply suggestion from code review
863ed3527c2026-06-13Vincent BalatRelease ocsipersist 2.1.0 (and backends)