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