diff options
author | Xuanrui Qi | 2019-04-27 01:06:20 -0400 |
---|---|---|
committer | Xuanrui Qi | 2019-04-27 01:06:20 -0400 |
commit | 1588a51e8f0dd01a83523fe3a4ec8ac995cf319a (patch) | |
tree | 286bf6a2711bc7ea1d112172d6d8f51e559f4e02 /PKGBUILD | |
parent | 785d620c9236ebb6ffb01ae04a6cf758b8ff721a (diff) | |
download | aur-1588a51e8f0dd01a83523fe3a4ec8ac995cf319a.tar.gz |
Fix small bugs
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -2,10 +2,10 @@ pkgname=compcert _dirname=CompCert pkgver=3.5 -pkgrel=1 +pkgrel=2 pkgdesc="The formally verified C compiler" arch=('x86_64') -url="http://compcert.inria.fr/download.html" +url="http://compcert.inria.fr" license=('custom:INRIA Non-Commercial License Agreement') depends=('gcc') makedepends=('coq>=8.6.1' 'ocaml>=4.0.2' |