Scriptkiddi c8fb08b1e4 tetgen: also install library and headers		2022-02-17 01:37:28 +01:00
..
1.4.nix	pkgs/applications: rename name to pname&version part 2	2021-11-07 14:53:06 +01:00
default.nix	tetgen: also install library and headers	2022-02-17 01:37:28 +01:00