16 Oct
2017
16 Oct
'17
5 a.m.
https://bugzilla.redhat.com/show_bug.cgi?id=1489990
Jens Petersen petersen@redhat.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Whiteboard| |Agda-2.5.3:deps
--- Comment #2 from Jens Petersen petersen@redhat.com --- fhbz: cblrpm missingdeps output for Agda-2.5.3:
uri-encode
uri-encode-1.5.0.5 in Stackage lts
--
You are receiving this mail because:
You are on the CC list for the bug.