| Commit | Date | Author | Subject |
|---|
| 7fff78cf6b | 2026-09-25 | Anil Madhavapeddy | Merge pull request #30680 from Frama-C/publish-frama-clang-0.0.20 |
| 8eee52e286 | 2026-09-25 | Anil Madhavapeddy | Merge pull request #30807 from raphael-proust/loosen-linol-deps |
| 4ee3385f79 | 2026-09-25 | Raphaël Proust | Merge pull request #30734 from Kakadu/fix-janestreet_cpuid |
| 93c94e4518 | 2026-09-25 | Raphaël Proust | Merge pull request #30790 from samoht/release-tw-1.1.0 |
| 06d5cb0630 | 2026-09-25 | Marcello Seri | Merge pull request #30719 from Kakadu/openai-gym-needs-atdgen |
| 5284e7eb1a | 2026-09-25 | Marcello Seri | Add missing license fields to ISO8601, bigstring, cconv, choice, dataframe (#30804) |
| ebbbabe02b | 2026-09-25 | Dmitrii Kosarev | ollvm: fix autotools issue (#30741) |
| 79d3312b6c | 2026-09-25 | Marcello Seri | Merge pull request #30797 from filipeom/package-z3-5.1.0 |
| c4fec0dc4a | 2026-09-25 | Raphaël Proust | loosen linol deps |
| 1541f9b7b1 | 2026-09-25 | Thomas Gazagnaire | [new release] tw (1.1.0) |
| 83d143c9dc | 2026-09-25 | Virgile Prevosto | Update packages/conf-libclang/conf-libclang.22/opam |
| a3b69161cc | 2026-09-24 | Virgile Prevosto | Update packages/conf-libclang/conf-libclang.22/opam |
| 7ce3573279 | 2026-09-24 | Virgile Prevosto | [conf-libclang] fix depexts according to remarks |
| dfd0f19c5e | 2026-09-24 | Virgile Prevosto | [frama-clang] accept defeat on freebsd |
| 010d074a20 | 2026-09-24 | Virgile Prevosto | [conf-libclang] fix opensuse package |
| 3d561f9cb3 | 2026-09-23 | James Lee | Add missing license fields to ISO8601, bigstring, cconv, choice, dataframe |
| b9f53912cc | 2026-09-23 | Virgile Prevosto | [frama-clang] use conf-libclang.22 and tweak dependencies for debian-like |
| 38bcb0be8b | 2026-09-23 | Virgile Prevosto | [conf-libclang] support for v22 |
| b0ed28ab88 | 2026-09-08 | Frama-CI Bot | new frama-clang package |
| e514f9519c | 2026-09-23 | Filipe Marques | Package z3.5.1.0 |
| 2b5df23602 | 2026-09-22 | Dmitrii Kosarev | Update packages/janestreet_cpuid/janestreet_cpuid.v0.17.0/opam |
| cdfe6d484c | 2026-09-22 | Kakadu | Revert "Apply suggestion from code-review" |
| fe97f32a94 | 2026-09-22 | Kakadu | Revert "janestreet_cpuid: update compiler bounds and remove unavailability" |
| 751199c692 | 2026-09-15 | Marcello Seri | janestreet_cpuid: update compiler bounds and remove unavailability |
| baa216e254 | 2026-09-15 | Marcello Seri | Apply suggestion from code-review |
| bd1a107d3b | 2026-09-14 | Kakadu | janestreet_cpuid.v0.17.0 has no chance to compile. |
| f7b8161b2f | 2026-09-15 | Dmitrii Kosarev | Update packages/openai-gym/openai-gym.0.01/opam |
| 29afb95665 | 2026-09-12 | Kakadu | openai-gym: Schedule for archival |