* In a realisation goal, check the result of the corresponding   normalisation goal.
* In a realisation goal, check the result of the corresponding
  normalisation goal.


shlevy/nix,ttuegel/nix,vcunat/nix,pikajude/nix,zimbatm/nix,edolstra/nix,gebner/nix,wmertens/nix,aucampia/nix,garbas/nix,jcumming/nix,NixOS/nix,layus/nix,offlinehacker/nix,vizanto/nix,dezgeg/nix,pikajude/nix,gebner/nix,wmertens/nix,dtzWill/nix,offlinehacker/nix,rowhit/nix,ttuegel/nix,aucampia/nix,ehmry/nix,vcunat/nix,shlevy/nix,zimbatm/nix,rycee/nix,vcunat/nix,tchajed/nix,dezgeg/nix,puffnfresh/nix,peti/nix,bennofs/nix,joelmo/nix,gridaphobe/nix,shlevy/nix,rowhit/nix,gridaphobe/nix,bennofs/nix,bjornfor/nix,peti/nix,edolstra/nix,rycee/nix,nbp/nix,ehmry/nix,pikajude/nix,tchajed/nix,dezgeg/nix,edolstra/nix,ehmry/nix,gebner/nix,dtzWill/nix,edolstra/nix,nbp/nix,zimbatm/nix,jcumming/nix,offlinehacker/nix,rycee/nix,NixOS/nix,puffnfresh/nix,peti/nix,bjornfor/nix,aucampia/nix,ttuegel/nix,aucampia/nix,NixOS/nix,jcumming/nix,gridaphobe/nix,ysangkok/nix,joelmo/nix,peti/nix,tchajed/nix,layus/nix,garbas/nix,puffnfresh/nix,vcunat/nix,joelmo/nix,nbp/nix,vizanto/nix,joelmo/nix,vizanto/nix,acowley/nix,acowley/nix,ysangkok/nix,jcumming/nix,dtzWill/nix,peti/nix,ehmry/nix,layus/nix,dtzWill/nix,vizanto/nix,tchajed/nix,layus/nix,rycee/nix,bjornfor/nix,acowley/nix,dtzWill/nix,ehmry/nix,rowhit/nix,dezgeg/nix,ysangkok/nix,bennofs/nix,shlevy/nix,rycee/nix,ehmry/nix,acowley/nix,shlevy/nix,layus/nix,zimbatm/nix,puffnfresh/nix,NixOS/nix,bennofs/nix,wmertens/nix,gridaphobe/nix,NixOS/nix,garbas/nix,bjornfor/nix,dezgeg/nix,nbp/nix,wmertens/nix,gebner/nix,garbas/nix,rowhit/nix,edolstra/nix,ttuegel/nix,garbas/nix,offlinehacker/nix