Code

[new release] elpi (1.19.5)#26308

Code

Merged

mseri merged 1 commit intoocaml:masterocaml/opam-repository:masterfrom gares:release-elpi-v1.19.5gares/opam-repository:release-elpi-v1.19.5Copy head branch name to clipboardAug 2, 2024

+90

Commits

Commits on Jul 30, 2024

• [new release] elpi (1.19.5)

  Show description for efc37b9
  gares

  committed
  efc37b9

  Copy full SHA for efc37b9