Skip to content

Nix: fix build by adding menhir dependency#2920

Merged
tahina-pro merged 1 commit intoFStarLang:masterfrom pnmadelaine:nixMay 10, 2023

Commits

Commits on May 10, 2023