summaryrefslogtreecommitdiff
path: root/flake.lock (unfollow)
Commit message (Expand)AuthorFilesLines
2024-04-25Update the flake.lockSon Ho1-15/+15
2024-04-18Update charon pinNadrieril1-4/+20
2024-04-17Bump charonNadrieril1-3/+3
2024-04-17feat(nix): support non-Flakes usersRyan Lahfa1-0/+16
2024-04-11Use charon mainNadrieril1-4/+3
2024-04-10Trust rustc regarding `Copy` boundsNadrieril1-3/+4
2024-04-04Update the nix flakeSon Ho1-3/+3
2024-04-04Update the nix flakeSon Ho1-3/+3
2024-03-28Update the nix flakeSon Ho1-15/+15
2024-03-20Update the flake.lockSon Ho1-15/+15
2024-03-18Update the flake.nix and the flake.lockSon Ho1-347/+3
2024-03-17Update the flake.lockSon Ho1-21/+21
2024-03-11Update the flake.lockSon Ho1-12/+12
2024-03-09Update the flake.lockSon Ho1-24/+24
2024-02-09Update the flake.lockSon Ho1-21/+21
2024-02-02Update the flake.lockSon Ho1-18/+18
2024-01-25Update the flake.lockSon Ho1-24/+24
2023-12-23Update the flake.lockSon Ho1-21/+21
2023-12-13Update the flake.lockSon Ho1-9/+9
2023-12-13Update the flake.lockSon Ho1-3/+3
2023-12-12Update the flake.lockSon Ho1-21/+21
2023-12-07Update the flake.lockSon Ho1-3/+3
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