Package details
Package idris2-api
Version 0.7.0-r4
Description Idris API for developing support tools (e.g. external code generator)
Project https://www.idris-lang.org
License BSD-3-Clause
Branch v3.20
Repository community
Architecture x86_64
Size 18.6MiB
Installed size 206.1MiB
Origin idris2
Maintainer Sören Tempel
Build time 2024-04-29 17:15:38
Commit ee5983d2dfc752db159635f806a83576b38ce787
Merge request 64587
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)