diff options
| author | Johannes Wellhöfer | 2024-05-31 13:01:34 +0200 |
|---|---|---|
| committer | Johannes Wellhöfer | 2024-05-31 13:01:34 +0200 |
| commit | 629f14e22db0a66c233fd2a023b35a112cdb4e97 (patch) | |
| tree | 7de8378d3880436194498d87fd13c45bd0825beb /.SRCINFO | |
| parent | c4ea25145a8b29b2cfe22edb2c5b7be2d8f69f67 (diff) | |
| download | aur-fstar-bin.tar.gz | |
forkless script wrapper
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,7 +1,7 @@ pkgbase = fstar-bin pkgdesc = A Higher-Order Effectful Language Designed for Program Verification pkgver = 2023.09.03 - pkgrel = 1 + pkgrel = 2 url = https://fstar-lang.org/ arch = x86_64 license = Apache |