diff options
author | Paul-Nicolas Madelaine <pnm@pnm.tf> | 2023-12-27 22:20:31 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-12-27 22:20:31 +0100 |
commit | 032d45b46c6e39a864570628d9f110454dbf4c66 (patch) | |
tree | bdd530c7b4c6ac15c12f20785f6f8b9c7bedd536 /nixos | |
parent | 6fe94ff539e3d5e32aff3aaa7d76f20c0737e5fc (diff) |
fstar: build with dune (#275924)
Diffstat (limited to 'nixos')
0 files changed, 0 insertions, 0 deletions