full — diff
From 9464bef07246 to b24728626332
Package changes
Repository commits
opam-repository 4817f2453c85..f15dbe6fae81
| Commit | Date | Author | Subject |
|---|
| f15dbe6fae | 2026-07-25 | Jan Midtgaard | Merge pull request #30321 from sim642/release-goblint-cil-2.1.1 |
| 132ace8e0e | 2026-07-25 | Jan Midtgaard | Merge pull request #30311 from davesnx/release-quickjs-0.5.1 |
| 6fd4887fb3 | 2026-07-25 | Jan Midtgaard | Merge pull request #30328 from dalps/opam-publish-menhir-lsp.0.5.0 |
| 91fdfe3c0e | 2026-07-25 | Jan Midtgaard | Merge pull request #30302 from echoumcp1/opam-publish-hegel.0.12.2 |
| b5bdb1f918 | 2026-07-25 | Jan Midtgaard | Merge pull request #30299 from jongleb/release-sqlgg-20260721 |
| 9af679c556 | 2026-07-25 | Jan Midtgaard | Merge pull request #30324 from johnyob/add-upper-bound-for-grace-to-soteria |
| ba5e6b4dfa | 2026-07-25 | dalps | try containers >= "3.14" |
| 488accd2e4 | 2026-07-25 | dalps | containers >= "3.13.1" |
| 70caed8261 | 2026-07-24 | dalps | raise lower bounds |
| 69a50c951b | 2026-07-24 | dalps | + cmarkit + odoc-parser |
| d0ab1b478f | 2026-07-24 | Simmo Saan | goblint-cil.2.1.1: bump freebsd version in x-ci-accept-failures |
| 4d1051fdf1 | 2026-07-24 | dalps | Package menhir-lsp.0.5.0 |
| f37f728050 | 2026-07-24 | johnyob | chore: add upper bound to soteria.0.1.0 |
| ad9f0ee8b1 | 2026-07-24 | Simmo Saan | goblint-cil.2.1.1: skip tests on arm64 debian-13 |
| 54f60f3fcd | 2026-07-24 | Simmo Saan | [new release] goblint-cil (2.1.1) |
| 7981968940 | 2026-07-22 | GitHub Actions | [new release] quickjs (0.5.1) |
| a98401c34c | 2026-07-22 | GitHub Actions | [new release] sqlgg (20260721) |
| a867c0f20d | 2026-07-21 | Ethan Chou | 4 packages from hegeldev/hegel-ocaml at 0.12.2 |