Package details
Package idris2-doc
Version 0.7.0-r7
Description Purely functional programming language with first class types (documentation)
Project https://www.idris-lang.org
License BSD-3-Clause
Branch edge
Repository community
Architecture x86_64
Size 3.5MiB
Installed size 11.0MiB
Origin idris2
Maintainer Sören Tempel
Build time 2025-05-12 14:42:52
Commit 1818807a1cb19b2d2975e8fcc06cded8f2199b83
Merge request 84075
Git repository Git repository
Build log Build log
Issues Open packaging issues
Contents Contents of package
Depends (0)
Required by (0)
Sub Packages (2)
Provides (0)
Install if (2)