Skip to content

[herd-www] Add .opam file specifying dependencies#1728

Draft
TiberiuBucur wants to merge 1 commit intoherd:masterfrom
TiberiuBucur:herd-www-ocaml-version
Draft

[herd-www] Add .opam file specifying dependencies#1728
TiberiuBucur wants to merge 1 commit intoherd:masterfrom
TiberiuBucur:herd-www-ocaml-version

Commits

Commits on Feb 23, 2026