coin3: revbump for missing coin3-doc package

This commit is contained in:
yopito 2018-03-22 08:24:03 +01:00 committed by Michael Gehring
parent 6fe9a6db7e
commit 1ccc0de5c0
1 changed files with 1 additions and 1 deletions

View File

@ -1,7 +1,7 @@
# Template file for 'coin3'
pkgname=coin3
version=3.1.3
revision=3
revision=4
wrksrc="Coin-${version}"
patch_args="-Np1"
build_style=gnu-configure