summaryrefslogtreecommitdiff
path: root/flake.lock (unfollow)
Commit message (Expand)AuthorFilesLines
2023-12-12Update the flake.lockSon Ho1-21/+21
2023-12-07Update the flake.lockSon Ho1-18/+18
2023-12-05Update the flake.lockSon Ho1-36/+36
2023-11-29Update the flake.lockSon Ho1-9/+9
2023-11-29Update flake.lockSon Ho1-30/+30
2023-11-27Update the flake.lockSon Ho1-18/+18
2023-11-22Update the flake.lockSon Ho1-3/+2
2023-11-22Fix an issue with the nix flake and update the flake.lockSon Ho1-9/+10
2023-11-22Update the flake.lockSon Ho1-18/+18
2023-11-10Update the flake.lockSon Ho1-93/+44
2023-08-09Update the nix flakeSon Ho1-18/+18
2023-08-09Update the nix flake and regenerate the codeSon Ho1-9/+9
2023-08-07Update the flake.lockSon Ho1-40/+58
2023-06-04Update the flake.lockSon Ho1-15/+15
2023-06-04Use dune 3.7 and update the flake.lockSon Ho1-43/+62
2023-06-04Start adding Lean to the Nix flakeSon Ho1-15/+358
2023-06-04Update the Nix flakeSon Ho1-30/+51
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