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 /tests/hol4/hashmap_on_disk | |
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 '')
0 files changed, 0 insertions, 0 deletions