Hernan Rajchert ef22f5fd93 veriT: Fix build on macos		2022-06-22 16:57:33 -03:00
..
default.nix	veriT: Fix build on macos	2022-06-22 16:57:33 -03:00