Skip to content

Fix HB.about after elpi 3.0 port#567

Merged
gares merged 1 commit intomasterfrom
fix-about-elpi3
Dec 9, 2025
Merged

Fix HB.about after elpi 3.0 port#567
gares merged 1 commit intomasterfrom
fix-about-elpi3

Commits