summaryrefslogtreecommitdiff
path: root/flake.lock (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Update charon pinNadrieril2024-04-181-4/+20
|
* Merge pull request #145 from RaitoBezarius/no-flakesGuillaume Boisseau2024-04-181-0/+16
|\
| * feat(nix): support non-Flakes usersRyan Lahfa2024-04-171-0/+16
| | | | | | | | | | | | | | | | Not all Nix users can make use of Flakes. This adds the compatibility for non-Flakes users. Signed-off-by: Ryan Lahfa <ryan.lahfa@inria.fr>
* | Bump charonNadrieril2024-04-171-3/+3
|/
* Use charon mainNadrieril2024-04-111-4/+3
|
* Trust rustc regarding `Copy` boundsNadrieril2024-04-101-3/+4
|
* Update the nix flakeSon Ho2024-04-041-3/+3
|
* Update the nix flakeSon Ho2024-03-281-15/+15
|
* Update the flake.lockSon Ho2024-03-201-15/+15
|
* Update the flake.nix and the flake.lockSon Ho2024-03-181-347/+3
|
* Update the flake.lockSon Ho2024-03-171-21/+21
|
* Update the flake.lockSon Ho2024-03-111-12/+12
|
* Update the flake.lockSon Ho2024-03-091-24/+24
|
* Update the flake.lockSon Ho2024-02-091-21/+21
|
* Update the flake.lockSon Ho2024-02-021-18/+18
|
* Update the flake.lockSon Ho2024-01-251-24/+24
|
* Update the flake.lockSon Ho2023-12-231-21/+21
|
* Update the flake.lockSon Ho2023-12-131-9/+9
|
* Update the flake.lockSon Ho2023-12-131-3/+3
|
* Merge remote-tracking branch 'origin/main' into son_merge_back2Son Ho2023-12-131-21/+21
|\
| * Update the flake.lockSon Ho2023-12-121-21/+21
| |
* | Update the flake.lockSon Ho2023-12-071-3/+3
|/
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 18:15:41 +0000