Package details
Package idris2-stage0
Version 0.7.0-r1
Description Idris 2 version used to bootstrap the Idris 2 compiler
License BSD-3-Clause
Branch edge
Repository community
Architecture x86_64
Size 27.18 MB
Installed size 126.07 MB
Origin idris2-stage0
Maintainer Sören Tempel
Build time 2024-04-20 06:25:41
Commit 06f0f9e845b4bd27d17c0b19aac1e1058b5dc57f
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (3)
Required by (0)
Sub Packages (0)