Package details
Package idris2-api
Version 0.6.0-r0
Description Idris API for developing support tools (e.g. external code generator)
Project https://www.idris-lang.org
License BSD-3-Clause
Branch v3.18
Repository community
Architecture x86
Size 9.8MiB
Installed size 136.7MiB
Origin idris2
Maintainer None
Build time 2023-01-12 17:54:09
Commit 58311bb8b602b17b93a070cafe67be0893406890
Merge request 42999
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (0)
Required by (0)
Sub Packages (2)
Provides (0)
Install if (0)