diff options
author | MithicSpirit | 2023-10-21 18:00:19 -0400 |
---|---|---|
committer | MithicSpirit | 2023-10-21 18:07:45 -0400 |
commit | 1c4e0d0ec4553f4683b8b7f0ac6d941926f377bd (patch) | |
tree | 8c576c568e5e8be5a0e347c691a9f8aba27ad1c1 /.SRCINFO | |
parent | 6cbc233a35e650c04f573d922d676d7258c5224e (diff) | |
download | aur-1c4e0d0ec4553f4683b8b7f0ac6d941926f377bd.tar.gz |
Clean up PKGBUILD and fix check()
Note that the tests are still failing (upstream issue), but at least now
it won't prompt you when it does fail.
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,7 +1,7 @@ pkgbase = idris2-git pkgdesc = A purely functional programming language with first class types pkgver = latest - pkgrel = 1 + pkgrel = 2 url = https://www.idris-lang.org/ arch = x86_64 license = custom |