صفحهٔ اصلی گشت‌و‌گذار راهنما
ورود
caryoscelus
/
agda
دنبال کردن 1
ستاره دار 0
انشعاب 0
پرونده‌ها مشکلات 0 درخواست واکشی 0 ویکی
شاخه: js_amd_patch
شاخه‌ها تگ‌ها
agda
/
doc
/
release-notes
/
2.4.2.2.md

2.4.2.2.md 478 B
لینک دائمی تاريخچه خام

Release notes for Agda version 2.4.2.2

Bug fixes

  • Compilation on Windows fixed.

  • Other issues fixed (see bug tracker)

#1332

#1353

#1360

#1366

#1369