summaryrefslogtreecommitdiff
path: root/flake.lock (unfollow)
Commit message (Expand)AuthorFilesLines
2023-02-03Update the Nix flakeSon Ho1-9/+9
2023-02-03Update the Nix flakeSon Ho1-3/+3
2023-02-03Update the Nix flakeSon Ho1-15/+15
2023-02-03Update the nix flakesSon Ho1-36/+36
2022-11-16Add the aeneas-verify-fstar derivationSon Ho1-0/+120
2022-11-14Update the flake.lockSon Ho1-3/+3
2022-11-11Udpate flake.lockSon Ho1-3/+3
2022-11-11Update the nix flakeSon Ho1-3/+3
2022-11-11Run `make nix update`Son Ho1-3/+3
2022-11-11Run `nix flake update`Son Ho1-3/+3
2022-11-11nixPaul-Nicolas Madelaine1-0/+165