summaryrefslogtreecommitdiff
path: root/flake.lock (follow)
Commit message (Expand)AuthorAgeFilesLines
* Update the flake.lockSon Ho2023-11-221-3/+2
* Fix an issue with the nix flake and update the flake.lockSon Ho2023-11-221-9/+10
* Update the flake.lockSon Ho2023-11-221-18/+18
* Update the flake.lockSon Ho2023-11-101-93/+44
* Update the nix flakeSon Ho2023-08-091-18/+18
* Update the nix flake and regenerate the codeSon Ho2023-08-091-9/+9
* Update the flake.lockSon Ho2023-08-071-40/+58
* Update the flake.lockSon Ho2023-06-041-15/+15
* Use dune 3.7 and update the flake.lockSon Ho2023-06-041-43/+62
* Start adding Lean to the Nix flakeSon Ho2023-06-041-15/+358
* Update the Nix flakeSon Ho2023-06-041-30/+51
* Update the Nix flakeSon Ho2023-02-031-9/+9
* Update the Nix flakeSon Ho2023-02-031-3/+3
* Update the Nix flakeSon Ho2023-02-031-15/+15
* Update the nix flakesSon Ho2023-02-031-36/+36
* Add the aeneas-verify-fstar derivationSon Ho2022-11-161-0/+120
* Update the flake.lockSon Ho2022-11-141-3/+3
* Udpate flake.lockSon Ho2022-11-111-3/+3
* Update the nix flakeSon Ho2022-11-111-3/+3
* Run `make nix update`Son Ho2022-11-111-3/+3
* Run `nix flake update`Son Ho2022-11-111-3/+3
* nixPaul-Nicolas Madelaine2022-11-111-0/+165