[Agda/f20] update to 2.3.2.2

Jens Petersen petersen at fedoraproject.org
Wed Jan 15 05:50:41 UTC 2014


Summary of changes:

  039fa08... update to 2.3.2.2 (*)

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


More information about the scm-commits mailing list