1 files changed, 1 insertions, 0 deletions

diff --git a/PKGBUILD b/PKGBUILD
new file mode 120000
index 000000000000..000418a738d3
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1 @@
+../../uppaal-packaging/PKGBUILD
\ No newline at end of file