Profiles › full › Snapshots › bb2c2cdf2f02 › diff f083d7ead88a

full — diff

From bb2c2cdf2f02 to f083d7ead88a

Package changes

PackageVersionStatusChange
happy-eyeballs2.0.2successadded
happy-eyeballs-lwt2.0.2successadded
happy-eyeballs-miou-unix2.0.2successadded
happy-eyeballs-mirage2.0.2successadded
hegel0.24.1successadded
libsail0.20.3successadded
mldsa0.1.1successadded
mlkem0.1.1successadded
ppx_deriving_ezjsonm0.5.0successadded
ppx_deriving_yaml0.5.0successadded
ppx_deriving_yamlx0.5.0successadded
ppx_hegel_compat0.24.1successadded
ppx_hegel_generator0.24.1successadded
ppx_hegel_test0.24.1successadded
sail0.20.3successadded
sail_c_backend0.20.3successadded
sail_coq_backend0.20.3successadded
sail_doc_backend0.20.3successadded
sail_latex_backend0.20.3successadded
sail_lean_backend0.20.3successadded
sail_lem_backend0.20.3successadded
sail_maker0.20.3successadded
sail_ocaml_backend0.20.3successadded
sail_output0.20.3successadded
sail_smt_backend0.20.3successadded
sail_sv_backend0.20.3successadded
slhdsa0.1.1successadded

Repository commits

opam-repository 43a58bf452ff..bd5725263afa

CommitDateAuthorSubject
bd5725263a2026-09-25Marcello SeriMerge pull request #30805 from echoumcp1/opam-publish-hegel.0.24.1
cd2f8b9dfe2026-09-25Marcello SeriMerge pull request #30801 from patricoferris/release-ppx_deriving_yaml-v0.5.0
974ee66d2f2026-09-25Marcello SeriMerge pull request #30798 from Alasdair/release-sail-0.20.3
0826e27d9e2026-09-25Marcello SeriMerge pull request #30778 from thevilledev/opam-publish-mldsa.0.1.1
83c5239d432026-09-25Marcello SeriMerge pull request #30800 from hannesm/release-happy-eyeballs-v2.0.2
efd99c9e712026-09-23Ethan Chou4 packages from hegeldev/hegel-ocaml at 0.24.1
04b9afdfa82026-09-23Patrick FerrisAdd ppx_deriving as a dependency for testing
519c64c4472026-09-23Patrick Ferris[new release] ppx_deriving_yaml (3 packages) (0.5.0)
7165f5ae972026-09-23Hannes Mehnert[new release] happy-eyeballs (4 packages) (2.0.2)
c4ef3708192026-09-23Alasdair[new release] sail (13 packages) (0.20.3)
7edd5a1a4a2026-09-20Ville Vesilehto3 packages from thevilledev/ocaml-pq at 0.1.1