diff options
| author | Robin Eklind | 2018-08-28 12:30:06 +0000 |
|---|---|---|
| committer | Robin Eklind | 2018-08-28 12:30:06 +0000 |
| commit | e032c7c11cc9ed506649309c9eb7be9e7541cb84 (patch) | |
| tree | 85a4660e500c279e9fe7eee5cdc63e236c4c06b3 | |
| parent | f0b4c76a530aae5d62a06184b33862c411a03053 (diff) | |
| download | aur-e032c7c11cc9ed506649309c9eb7be9e7541cb84.tar.gz | |
Fix package name.
| -rw-r--r-- | .SRCINFO | 4 | ||||
| -rw-r--r-- | PKGBUILD | 2 |
2 files changed, 3 insertions, 3 deletions
@@ -1,4 +1,4 @@ -pkgbase = psmt2-frontend-git +pkgbase = ocaml-psmt2-frontend-git pkgdesc = A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language pkgver = 0.1 pkgrel = 1 @@ -12,5 +12,5 @@ pkgbase = psmt2-frontend-git options = !strip options = staticlibs -pkgname = psmt2-frontend-git +pkgname = ocaml-psmt2-frontend-git @@ -1,4 +1,4 @@ -pkgname=psmt2-frontend-git +pkgname=ocaml-psmt2-frontend-git pkgver=0.1 pkgrel=1 pkgdesc="A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language" |