Skip to content

use lambdapi > 3.0.0#68

Merged
fblanqui merged 2 commits into
Deducteam:masterfrom
fblanqui:ci
Jul 21, 2026
Merged

use lambdapi > 3.0.0#68
fblanqui merged 2 commits into
Deducteam:masterfrom
fblanqui:ci

rename lambdapi-stdlib.opam into opam

186e15c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build (dev)
succeeded Jul 21, 2026 in 4m 23s