diff options
author | robinleander | 2018-07-27 15:27:08 +0200 |
---|---|---|
committer | robinleander | 2018-07-27 15:27:08 +0200 |
commit | da70ef7c6360a17935e379d6368e9e3f17ca35ff (patch) | |
tree | 96b9bdefa934a5e38e4531b18862dfb3aba8622d /.SRCINFO | |
parent | a3b5a18bf2e03fed5016b3b36127aab5a875f3a7 (diff) | |
download | aur-da70ef7c6360a17935e379d6368e9e3f17ca35ff.tar.gz |
Copy only nonexisting files
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,7 +1,7 @@ pkgbase = fstar-ulib pkgdesc = compiles the ulib component of F* pkgver = 0.9.6.0 - pkgrel = 7 + pkgrel = 8 url = https://www.fstar-lang.org/ arch = i686 arch = x86_64 |