remove pushed z3

Julien LepillerSun Jul 30 10:40:51+0200 2017

e993ab3

guix-more/more
namelast commitdate
packages/remove pushed z3Sun Jul 30 10:40:51+0200 2017