Code

fstar: build with dune#275924

Code

Merged

vbgl merged 5 commits intoNixOS:masterNixOS/nixpkgs:masterfrom pnmadelaine:fstarpnmadelaine/nixpkgs:fstarCopy head branch name to clipboardDec 27, 2023

+120-45

Commits

Commits on Dec 22, 2023

• fstar: build with dune

  pnmadelaine

  committed
  69040eb

  Copy full SHA for 69040eb

• fstar: propagate build inputs

  pnmadelaine

  committed
  45aaf1f

  Copy full SHA for 45aaf1f

• fstar: don't propagate everything

  pnmadelaine

  committed
  4f8f4d9

  Copy full SHA for 4f8f4d9

• fstar: use kebab case

  pnmadelaine

  committed
  6b29683

  Copy full SHA for 6b29683

Commits on Dec 27, 2023

• fstar: remove unnecessary line

  pnmadelaine

  committed
  7653ecc

  Copy full SHA for 7653ecc