Skip to content

opam: add missing dependencies#6248

Merged
robhoes merged 1 commit intoxapi-project:masterfrom
psafont:private/paus/op-ehm
Jan 23, 2025
Merged

opam: add missing dependencies#6248
robhoes merged 1 commit intoxapi-project:masterfrom
psafont:private/paus/op-ehm

Commits

Commits on Jan 23, 2025