Name Last modified Size
../ 2.3.12/ 25-May-2026 07:03 - 2.4.14/ 27-Aug-2026 16:45 - 2.4.2-scalaz-7.0.6/ 25-Sep-2025 18:17 - 3.0-20150306080900-4d03363/ 16-Dec-2025 23:33 - 3.5-20150421030134-582d033/ 25-Sep-2025 09:45 - 3.5-20150429005731-d441bf4/ 22-Aug-2026 20:32 - 3.7-20160205100647-4591208/ 22-Aug-2026 19:04 - 3.8.4-20160909214031-92b5f32/ 22-Aug-2026 20:39 - 3.8.9-20170513130911-c42a6fe/ 22-Aug-2026 16:46 -