Package details
Package idris2-stage0
Version 0.6.0-r0
Description Idris 2 version used to bootstrap the Idris 2 compiler
Project https://www.idris-lang.org
License BSD-3-Clause
Branch v3.18
Repository community
Architecture x86
Size 24.6MiB
Installed size 92.3MiB
Origin idris2-stage0
Maintainer None
Build time 2023-01-12 17:54:09
Commit 928521b88855bec87473f54380e2acc5c712678b
Merge request 42999
Git repository Git repository
Build log Build log
Contents Contents of package