Arch Linux User Repository
Home
Packages
Forums
Wiki
GitLab
Security
AUR
Download
AUR : isabelle.git
AUR Package Repositories | click
here
to return to the package base details page
summary
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
.gitignore
blob: d1d302cd0523fc212d2782e0d5015a19451932a0 (
plain
)
1
2
pkg/ src/