Import lib in changed files

This commit is contained in:
2023-05-23 14:28:32 -04:00
parent 016a641c38
commit 8019407c69
19 changed files with 19 additions and 19 deletions

View File

@@ -1,4 +1,4 @@
{ stdenv, bashInteractive, fetchFromGitHub, makeWrapper, flex, bison
{ stdenv, lib, bashInteractive, fetchFromGitHub, makeWrapper, flex, bison
, zlib, boost, openmpi, readline, gperftools, cgal, metis, scotch, mpfr }: