For several use cases of these data, e.g., usage in courses etc, it may be useful to have the data directly available as nix file. After finishing #5, it could be checked if creating nix files and pushing them to the repository to the is a feasible option. This may include potentially a stripped down version containing no ns5/ns6 data.
For several use cases of these data, e.g., usage in courses etc, it may be useful to have the data directly available as `nix` file. After finishing #5, it could be checked if creating nix files and pushing them to the repository to the is a feasible option. This may include potentially a stripped down version containing no ns5/ns6 data.
For several use cases of these data, e.g., usage in courses etc, it may be useful to have the data directly available as
nixfile. After finishing #5, it could be checked if creating nix files and pushing them to the repository to the is a feasible option. This may include potentially a stripped down version containing no ns5/ns6 data.closed by #12