idris का पुराना संस्करणहरू डाउनलोड गर्नुहोस्

यहाँ idris का १ संस्करण छन्, देखि हालको 1.3.3 सम्म। हरेक संस्करणको लिङ्क प्रकाशकका आफ्नै इन्स्टलर फाइलहरूमा जान्छ।