ifdefs on elpi version in source code#693

Merged

gares merged 4 commits intomasterfrom support-multiple-elpi-version

Oct 2, 2024

+171-3

Commits on Sep 20, 2024

ifdefs on elpi version in source code
gares
committed

Commits on Sep 23, 2024

nix
gares
committed
Update etc/version_parser.ml
gares
authored
nix
gares
committed