Profiles › full › Snapshots › b0a54fff71d3 › diff f8cf59577a90

full — diff

From b0a54fff71d3 to f8cf59577a90

Package changes

PackageVersionStatusChange
conf-libclang22failureadded
frama-clang0.0.20cascadeadded
janestreet_cpuidv0.17.0removed
tw1.1.0successadded

Repository commits

opam-repository 06d5cb063094..7fff78cf6b10

CommitDateAuthorSubject
7fff78cf6b2026-09-25Anil MadhavapeddyMerge pull request #30680 from Frama-C/publish-frama-clang-0.0.20
8eee52e2862026-09-25Anil MadhavapeddyMerge pull request #30807 from raphael-proust/loosen-linol-deps
4ee3385f792026-09-25Raphaël ProustMerge pull request #30734 from Kakadu/fix-janestreet_cpuid
93c94e45182026-09-25Raphaël ProustMerge pull request #30790 from samoht/release-tw-1.1.0
c4fec0dc4a2026-09-25Raphaël Proustloosen linol deps
1541f9b7b12026-09-25Thomas Gazagnaire[new release] tw (1.1.0)
83d143c9dc2026-09-25Virgile PrevostoUpdate packages/conf-libclang/conf-libclang.22/opam
a3b69161cc2026-09-24Virgile PrevostoUpdate packages/conf-libclang/conf-libclang.22/opam
7ce35732792026-09-24Virgile Prevosto[conf-libclang] fix depexts according to remarks
dfd0f19c5e2026-09-24Virgile Prevosto[frama-clang] accept defeat on freebsd
010d074a202026-09-24Virgile Prevosto[conf-libclang] fix opensuse package
b9f53912cc2026-09-23Virgile Prevosto[frama-clang] use conf-libclang.22 and tweak dependencies for debian-like
38bcb0be8b2026-09-23Virgile Prevosto[conf-libclang] support for v22
b0ed28ab882026-09-08Frama-CI Botnew frama-clang package
2b5df236022026-09-22Dmitrii KosarevUpdate packages/janestreet_cpuid/janestreet_cpuid.v0.17.0/opam
cdfe6d484c2026-09-22KakaduRevert "Apply suggestion from code-review"
fe97f32a942026-09-22KakaduRevert "janestreet_cpuid: update compiler bounds and remove unavailability"
751199c6922026-09-15Marcello Serijanestreet_cpuid: update compiler bounds and remove unavailability
baa216e2542026-09-15Marcello SeriApply suggestion from code-review
bd1a107d3b2026-09-14Kakadujanestreet_cpuid.v0.17.0 has no chance to compile.