[idris/epel7] update to 0.9.9.1

Jens Petersen petersen at fedoraproject.org
Tue Apr 22 02:01:51 UTC 2014


Summary of changes:

  a50bf25... update to 0.9.9.1 (*)

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


More information about the scm-commits mailing list