Arch Linux User Repository

Home
Packages
Forums
Wiki
GitLab
Security
AUR
Download

AUR : agda-cubical.git

AUR Package Repositories | click here to return to the package base details page

summary log tree commit diff stats

path: root/cubical.agda-lib.in

blob: 222f12b6f0469493dbfe00ece85e2d31a465eb92 (plain)

1
2
3

name: cubical
include: cubical/
depend:

Copyright © 2004-2023 aurweb Development Team – AUR packages are user produced content. Any use of the provided files is at your own risk.