Package details
Package idris2-stage0
Version 0.7.0-r3
Description Idris 2 version used to bootstrap the Idris 2 compiler
Project https://www.idris-lang.org
License BSD-3-Clause
Branch edge
Repository community
Architecture x86
Size 29.3MiB
Installed size 125.7MiB
Origin idris2-stage0
Maintainer Sören Tempel
Build time 2025-05-12 14:42:52
Commit b98e4aca1774be66d27f27d6397c59242b031e82
Merge request 84075
Git repository Git repository
Build log Build log
Issues Open packaging issues
Contents Contents of package
Depends (3)
Required by (0)
Sub Packages (0)
Provides (2)
Install if (0)