[Agda/f21] fix deps for ftbfs

Peter Robinson pbrobinson at fedoraproject.org
Sat Aug 16 16:02:10 UTC 2014

Previous message: [ghc-type-level/f21] - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
Next message: [ghc-union-find] - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Summary of changes:

  ca128ef... fix deps for ftbfs (*)

(*) This commit already existed in another branch; no separate mail sent

Previous message: [ghc-type-level/f21] - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
Next message: [ghc-union-find] - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list