Profiles › full › Snapshots › b0c33a46b35b › diff 069e7b35e43a

full — diff

From b0c33a46b35b to 069e7b35e43a

Package changes

PackageVersionStatusChange
ascon0.2.0successadded
curve4480.1.0successadded
fstar2025.02.17failure → successstatus changed
fstar2025.03.25failure → successstatus changed
gadelac0.6failure → successstatus changed
gendarme0.5.0success → failurestatus changed
gendarme-csv0.5.0success → cascadestatus changed
gendarme-json0.5.0success → cascadestatus changed
gendarme-toml0.5.0success → cascadestatus changed
gendarme-yaml0.5.0success → cascadestatus changed
gendarme-yojson0.5.0success → cascadestatus changed
hpke0.2.0successadded
http-mirage-client0.0.11failure → successstatus changed
letsencrypt-mirage1.1.0cascade → successstatus changed
letsencrypt-mirage2.0.0cascade → successstatus changed
letsencrypt-mirage2.1.0cascade → successstatus changed
letsencrypt-mirage2.1.1cascade → successstatus changed
ppx_marshal0.5.0success → cascadestatus changed
ppx_marshal_ext0.5.0success → cascadestatus changed

Repository commits

opam-repository 8cdfa3296d9b..60c250618f12

CommitDateAuthorSubject
60c250618f2026-09-20Jan MidtgaardMerge pull request #30733 from Kakadu/gadelac-vs-OCaml5
95d026ebdc2026-09-19Jan MidtgaardMerge pull request #30775 from thevilledev/opam-publish-hpke.0.2.0
94d69f13e02026-09-19Jan MidtgaardMerge pull request #30774 from thevilledev/opam-publish-ascon.0.2.0
058b6b0a012026-09-19Jan MidtgaardMerge pull request #30768 from thevilledev/opam-publish-curve448.0.1.0
4053c6637e2026-09-18Ville VesilehtoPackage hpke.0.2.0
5268c138dc2026-09-18Ville VesilehtoPackage ascon.0.2.0
aa551c008b2026-09-18Ville VesilehtoPackage curve448.0.1.0
84de92408f2026-09-14KakaduUpdate gadelac packages.