diff options
author | robinleander | 2018-07-29 13:35:56 +0200 |
---|---|---|
committer | robinleander | 2018-07-29 13:35:56 +0200 |
commit | abbd50b1de22674db2ec7ca54a1c85bc1af5a392 (patch) | |
tree | ee204c72d094dba888cb95ca4ed07de9ffc98736 /.SRCINFO | |
parent | 4a63ea6c9437fb3e29eb611bea13267cb1fdae2f (diff) | |
download | aur-abbd50b1de22674db2ec7ca54a1c85bc1af5a392.tar.gz |
Copy all files in /opt/fstar
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 = 12 + pkgrel = 13 url = https://www.fstar-lang.org/ arch = i686 arch = x86_64 |