Arch Linux User Repository

Home
Packages
Forums
Wiki
GitLab
Security
AUR
Download

AUR : fstar.git

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

summary log tree commit diff stats

path: root/fix-ocaml-4.08.patch

Age	Commit message (Expand)	Author
2019-10-20	fstar 0.9.7.0-2	Mort Yao

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