qubeck [1] filed a deletion request for agda-cubical [2]: Orphaned, outdated, 0 votes, no activity since submission in 2022.
[1] https://aur.archlinux.org/account/qubeck/ [2] https://aur.archlinux.org/pkgbase/agda-cubical/
qubeck [1] filed a deletion request for agda-cubical [2]: Orphaned, outdated, 0 votes, no activity since submission in 2022.
[1] https://aur.archlinux.org/account/qubeck/ [2] https://aur.archlinux.org/pkgbase/agda-cubical/