diff options
| author | Kyle Keen | 2022-03-04 00:20:18 -0500 |
|---|---|---|
| committer | Kyle Keen | 2022-03-04 00:20:18 -0500 |
| commit | 02b3f4cf3829bb36b37ee2a98f78e1644fb03319 (patch) | |
| tree | 7b945141dc4deae42aa345c7e13b065a86accaa5 /PKGBUILD | |
| parent | d86be425d616302f334cd555edf052d0cb59ca6f (diff) | |
| download | aur-02b3f4cf3829bb36b37ee2a98f78e1644fb03319.tar.gz | |
1.5.0
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,14 +1,14 @@ # Maintainer: Kyle Keen <keenerd@gmail.com> pkgname=cadical -pkgver=1.3.0 +pkgver=1.5.0 pkgrel=1 pkgdesc="A simple CDCL satisfiability solver" arch=('x86_64') url="http://fmv.jku.at/cadical/" license=('MIT') source=("https://github.com/arminbiere/cadical/archive/rel-$pkgver.tar.gz") -md5sums=('5bd15d1e198d2e904a8af8b7873dd341') +md5sums=('79a7070b4ae539d14accaea2687c98d3') build() { cd "$srcdir/$pkgname-rel-$pkgver" |