agda
Paket-Details
| Name | agda |
|---|---|
| Version | 2.6.4.3-133 |
| Beschreibung | A dependently typed functional programming language and proof assistant |
| URL | https://wiki.portal.chalmers.se/agda/ |
| Lizenzen | custom |
| Repositorium | extra |
| Architektur | x86_64 |
| Packer | Felix Yan |
| Erstellt am | 08.04.2026 |
| Quelltext | Quelldateien, Änderungshistorie |
| Bugs | Issue-Tracker |
| Paket | agda-2.6.4.3-133-x86_64.pkg.tar.zst |
| PGP-Signatur | agda-2.6.4.3-133-x86_64.pkg.tar.zst.sig |
| Paket-Größe | 23.8 MiB |
| Installations-Größe | 230.4 MiB |
| Beliebtheit |
Abhängigkeiten
Benötigt
ghcghc-libshaskell-aesonhaskell-ansi-terminalhaskell-asynchaskell-blaze-htmlhaskell-boxeshaskell-case-insensitivehaskell-cpphshaskell-data-hashhaskell-dlisthaskell-edit-distancehaskell-equivalencehaskell-gitrevhaskell-hashablehaskell-monad-controlhaskell-murmur-hashhaskell-parallelhaskell-peanohaskell-regex-tdfahaskell-splithaskell-stmonadtranshaskell-stricthaskell-text-icuhaskell-time-compathaskell-unordered-containershaskell-uri-encodehaskell-vectorhaskell-vector-hashtableshaskell-zlib