summaryrefslogtreecommitdiff
path: root/flake.lock (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Update the flake.lockSon Ho2023-12-121-21/+21
|
* Update the flake.lockSon Ho2023-12-071-18/+18
|
* Update the flake.lockSon Ho2023-12-051-36/+36
|
* Update the flake.lockSon Ho2023-11-291-9/+9
|
* Update flake.lockSon Ho2023-11-291-30/+30
|
* Update the flake.lockSon Ho2023-11-271-18/+18
|
* 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