Package details
Package idris2
Version 0.7.0-r6
Description Purely functional programming language with first class types
Project https://www.idris-lang.org
License BSD-3-Clause
Branch edge
Repository community
Architecture aarch64
Size 19.7MiB
Installed size 94.0MiB
Origin idris2
Maintainer Sören Tempel
Build time 2024-12-06 19:15:47
Commit b4a9e3e21fe793cac373559aab1aec9c118f5816
Merge request 76556
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (3)
Required by (0)
Sub Packages (2)
Provides (2)
Install if (0)