Arch Linux User Repository
Home
Packages
Forums
Wiki
GitLab
Security
AUR
Download
AUR : isabelle-linter.git
AUR Package Repositories | click
here
to return to the package base details page
about
summary
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
.gitignore
blob: e464c9d0c328342054a4d3c9dfbd73a014fac162 (
plain
)
1
2
3
4
5
6
7
pkg/ src/ *.zst *.gz *.zip *.tar *.bz2