Profiles › full › Snapshots › 77ab159f1530 › diff 43a1bc07eafa

full — diff

From 77ab159f1530 to 43a1bc07eafa

Package changes

PackageVersionStatusChange
frama-c-lannotate0.2.6successadded
frama-c-luncov0.2.6successadded
lambda-term3.4.1successadded

Repository commits

opam-repository ac2fb78d703c..3bfe64b3e813

CommitDateAuthorSubject
3bfe64b3e82026-08-17Jan MidtgaardMerge pull request #30471 from kandu/lambda-term
cb002b1c732026-08-17Jan MidtgaardMerge pull request #30365 from Frama-C/publish-frama-c-ltest-0.2.6
b79c284b2a2026-07-29Basile Deslogesnew frama-c-lannotate package
4873f8c1502026-07-29Frama-CI Botnew frama-c-luncov package
4617ace8232026-08-12ZAN DoYe[new release] lambda-term (3.4.1)