[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