diff options
| author | Sankalp Gambhir | 2023-10-10 11:45:53 +0200 |
|---|---|---|
| committer | Sankalp Gambhir | 2023-10-10 11:45:53 +0200 |
| commit | 82f1929bd99a3a93f838f910a204837729acf345 (patch) | |
| tree | 2d59757a65ef25b7c12ab933367cb70f0d53d868 | |
| parent | f193c4a86544b0e65f4e1d02d5f03d8c08aabfa3 (diff) | |
| download | aur-82f1929bd99a3a93f838f910a204837729acf345.tar.gz | |
Dummy pkgrel as well
| -rw-r--r-- | .SRCINFO | 1 | ||||
| -rw-r--r-- | PKGBUILD | 1 |
2 files changed, 2 insertions, 0 deletions
@@ -1,6 +1,7 @@ pkgbase = stainless-git pkgdesc = Verification framework and tool for higher-order Scala programs pkgver = VERSION + pkgrel = 1 url = https://github.com/epfl-lara/stainless arch = x86_64 license = Apache-2.0 @@ -1,6 +1,7 @@ # Maintainer: Sankalp Gambhir <sankalp.gambhir42@gmail.com> pkgname=stainless-git pkgver=VERSION +pkgrel=1 pkgdesc="Verification framework and tool for higher-order Scala programs" arch=(x86_64) url="https://github.com/epfl-lara/stainless" |