ProfilesfullSnapshotsb24728626332 › diff 950c81cd3d41

full — diff

From b24728626332 to 950c81cd3d41

Package changes

PackageVersionStatusChange
cdrom0.9.1successcascadestatus changed
cvc51.3.0-2successadded
frama-c33.0successadded
fungi0.2.0successadded
menhirformat0.2.0successadded
minicli1.0.0successcascadestatus changed
minicli2.0.0successcascadestatus changed
minicli3.0.0successcascadestatus changed
minicli4.0.0successcascadestatus changed
minivpt1.0.0successcascadestatus changed
minivpt2.0.0successcascadestatus changed
obuild0.1.11successfailurestatus changed
obuild0.2.2successfailurestatus changed
ocaml-sbom0.1.0successadded
ocamlfind1.9.9~previewsuccessadded
pa_ppx_migrate_ocaml_parsetree5.4.0successfailurestatus changed
ppx_deriving6.1.3successadded
ptmap1.0.0successcascadestatus changed

Repository commits

opam-repository f15dbe6fae81..ae6f88cbf223

CommitDateAuthorSubject
ae6f88cbf22026-07-26Anil MadhavapeddyMerge pull request #30289 from filipeom/opam-publish-cvc5.1.3.0-2
745be765332026-07-26Anil MadhavapeddyMerge pull request #30285 from dra27/ocamlfind-1.9.9-preview
66f9c9a9e02026-07-26Anil MadhavapeddyMerge pull request #30327 from dalps/opam-publish-menhirformat.0.2.0
a64b84b1d52026-07-26Anil MadhavapeddyMerge pull request #30292 from mjambon/release-ocaml-sbom-0.1.0
b905e4b4fb2026-07-26Anil MadhavapeddyMerge pull request #30323 from Frama-C/frama-c.33.0
7ea98528952026-07-26Anil MadhavapeddyMerge pull request #30329 from sim642/release-ppx_deriving-6.1.3
688e1f1a162026-07-26Anil MadhavapeddyMerge pull request #30338 from kituyiharry/opam-publish-fungi.0.2.0
71459f79be2026-07-26HarryPackage fungi.0.2.0
9e5b2ae5ba2026-07-25dalpsPackage menhirformat.0.2.0
fd664cb34a2026-07-25Simmo Saan[new release] ppx_deriving (6.1.3)
3b747267062026-07-24Martin JambonFix ocaml-sbom license field 😭
1b4d6e2fdc2026-07-24Allan BlanchardFrama-C: no flambda* for OCaml 4.14.x
9c2a50274c2026-07-24Frama-CI BotFrama-C: new release (33.0-Arsenic)
2451d84ac42026-07-20Martin JambonAdd lower bound on spdx_licenses dep
c3403f1c592026-07-20Martin Jambon[new release] ocaml-sbom (0.1.0)
0349c0ff982026-07-19Filipe MarquesPackage cvc5.1.3.0-2
d7337112472026-07-17David AllsoppAdd upperbound on 5.5 for 1.9.6 and 1.9.8
083f203b2b2026-07-17David AllsoppAdd a preview package for ocamlfind 1.9.9