copy new alloy4.2 during installation
copy new alloy4.2 during installation

juodaspaulius/clafer,juodaspaulius/clafer,juodaspaulius/bclafer_old,juodaspaulius/clafer-old-customBNFC,gsdlab/clafer,gsdlab/clafer