Issue #5646: block retired ghc-Ada from rawhide - releng - Pagure.io

releng

#5646 block retired ghc-Ada from rawhide

Closed: Fixed None Opened 10 years ago by petersen.

Hi Rel-Eng,

Can you please block ghc-Agda from Rawhide/F20
s ince it has been retired and replaced by Agda.

Thanks, Jens

ausil commented 10 years ago

blocked thanks

Login to comment on this ticket.

Metadata

Assignee

None

Tags

None

Blocking

None

Depending on

None

Milestone

None

duplicate

None

blockedby

None

blocking

None

Powered by Pagure 5.13.3

Documentation • File an Issue • About • SSH Hostkey/Fingerprint

© Red Hat, Inc. and others.