Skip to content

Update Cabal dep#18

Merged
prolic merged 2 commits intoprolic:masterfrom
cblp:cabal
Sep 1, 2025
Merged

Update Cabal dep#18
prolic merged 2 commits intoprolic:masterfrom
cblp:cabal

Commits

Commits on Sep 1, 2025