Package Details: idris2-algebra-git latest-1

Git Clone URL: https://aur.archlinux.org/idris2-algebra-git.git (read-only, click to copy)
Package Base: idris2-algebra-git
Description: Lawful algebraic structures in Idris2
Upstream URL: https://github.com/stefan-hoeck/idris2-algebra
Licenses: custom:BSD
Conflicts: idris2-algebra
Provides: idris2-algebra
Submitter: MithicSpirit
Maintainer: MithicSpirit
Last Packager: MithicSpirit
Votes: 1
Popularity: 0.69
First Submitted: 2025-07-08 23:26 (UTC)
Last Updated: 2025-07-08 23:26 (UTC)

Dependencies (2)

Required by (1)

Sources (1)