summaryrefslogtreecommitdiff
path: root/backends/lean/Base
diff options
context:
space:
mode:
authorRyan Lahfa2024-04-17 14:25:55 +0200
committerRyan Lahfa2024-04-17 14:25:55 +0200
commit75efc0213100f405fa64f3362e2fc4a73d09f61e (patch)
treee3c0e49059fb3f0477289308e1b903f6bf06b65d /backends/lean/Base
parent23da71768c03d955c916635bfc5c9d5806a80187 (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/Base')
0 files changed, 0 insertions, 0 deletions