summaryrefslogtreecommitdiff
path: root/flake.lock (follow)
Commit message (Expand)AuthorAgeFilesLines
* update charon pinAymeric Fromherz2024-05-241-3/+3
* update charon pinAymeric Fromherz2024-05-241-3/+3
* Update charon pinNadrieril2024-05-241-3/+3
* Bump charon versionNadrieril2024-05-231-3/+3
* Catch new literal variantsNadrieril2024-05-141-3/+3
* Update charonNadrieril2024-05-061-3/+3
* Update flake.lockAymeric Fromherz2024-05-061-3/+3
* Update charonNadrieril2024-04-301-3/+3
* Update the flake.lockSon Ho2024-04-251-15/+15
* 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
* | 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