diff options
| author | Xuanrui Qi | 2019-07-10 23:16:19 -0700 |
|---|---|---|
| committer | Xuanrui Qi | 2019-07-10 23:16:19 -0700 |
| commit | 56932536a059f0d1e53a128c4861c958648de006 (patch) | |
| tree | e0d3e9369c5585707b7761bc9a081e897a9a46c7 /.SRCINFO | |
| parent | 284d2790299b5389a4d585429751784afb251762 (diff) | |
| download | aur-56932536a059f0d1e53a128c4861c958648de006.tar.gz | |
Fix dir name
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,7 +1,7 @@ pkgbase = ocaml-menhir-compcert pkgdesc = Latest version of Menhir that can build the latest CompCert release. pkgver = 20181113 - pkgrel = 1 + pkgrel = 2 url = http://cristal.inria.fr/~fpottier/menhir/ arch = i686 arch = x86_64 |