diff options
| author | Ryan Lahfa | 2024-04-17 14:25:55 +0200 |
|---|---|---|
| committer | Ryan Lahfa | 2024-04-17 14:25:55 +0200 |
| commit | 75efc0213100f405fa64f3362e2fc4a73d09f61e (patch) | |
| tree | e3c0e49059fb3f0477289308e1b903f6bf06b65d /backends/lean | |
| parent | 23da71768c03d955c916635bfc5c9d5806a80187 (diff) | |
feat(nix): support non-Flakes users
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>
Diffstat (limited to 'backends/lean')
0 files changed, 0 insertions, 0 deletions