Ben Siraphob 7c1d4d8255 coq: enable parallel building		2021-07-22 02:04:47 +07:00
..
default.nix	coq: enable parallel building	2021-07-22 02:04:47 +07:00