summaryrefslogtreecommitdiff
path: root/flake.lock (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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