nixos/consul: Add module
agda-aaron-stump-stdlib: new package
Merge pull request #4280 from wkennington/master.consul

nixos/consul: Add module
fix typo in configure