2 commits

Author	SHA1	Message	Date
Dennis Gosnell	49e6d1b813	tests.coq.overrideCoqDerivation: use runCommand instead of runCommandNoCC	2022-09-03 21:02:17 +09:00
Dennis Gosnell	7efd4aa67c	tests.coq.overrideCoqDerivation: add test	2022-08-29 14:46:20 +09:00