[Agda-stdlib/f20] (2 commits) ...no ghc-rpm-macros-extra on F19
Jens Petersen
petersen at fedoraproject.org
Wed Feb 12 07:06:50 UTC 2014
Summary of changes:
3a702b0... import (#839260) (*)
357e012... no ghc-rpm-macros-extra on F19 (*)
(*) This commit already existed in another branch; no separate mail sent
More information about the scm-commits
mailing list