[Fedora-electronic-lab] Re: [Fedora Electronic Lab] #20: package myHDL