Commit e2483d5e authored by Michael Hanus 's avatar Michael Hanus

Package spec refined, file renamed

parent 28d81444
Pipeline #510 failed with stages