Fix Nix build header: F* and krml versions empty#394

Open

cmovcc wants to merge 5 commits intoFStarLang:masterfrom cmovcc:areitz/fix-nix-build-header

+10-15

Commits on Oct 27, 2023

Fix Nix build header: F* rev empty
Antonin Reitz
committed
Fix Nix build header: krml rev empty
Antonin Reitz
committed

Commits on Dec 6, 2023

Merge branch 'master' into areitz/fix-nix-build-header
cmovcc
authored

Commits on Dec 18, 2023

Merge branch 'master' into areitz/fix-nix-build-header
cmovcc
authored

Commits on Mar 3, 2024

Merge branch 'master' into areitz/fix-nix-build-header
R1kM
authored