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

Mode	Name	Size
-rw-r--r--	.SRCINFO	674	log stats plain
-rw-r--r--	PKGBUILD	1371	log stats plain
-rw-r--r--	isabelle.desktop	237	log stats plain

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