[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