Introduce nix: use prebuilt binary packages from nixpkgs#4119
Draft
qbisi wants to merge 1 commit intoFEniCS:mainfrom
Draft
Introduce nix: use prebuilt binary packages from nixpkgs#4119qbisi wants to merge 1 commit intoFEniCS:mainfrom
qbisi wants to merge 1 commit intoFEniCS:mainfrom
