diff options
| author | Manuel Wiesinger | 2024-03-26 22:29:04 +0000 |
|---|---|---|
| committer | Manuel Wiesinger | 2024-03-27 00:07:23 +0100 |
| commit | 34cd164324aeb20b069e64cc4f40a4a60131df37 (patch) | |
| tree | 164f43a11da8c5a157987534e843fdbab32d65af /.SRCINFO | |
| parent | 02b3f4cf3829bb36b37ee2a98f78e1644fb03319 (diff) | |
| download | aur-cadical.tar.gz | |
Refurbishments after adopting
- Version 1.9.5
- no LTO (removes functions in static library)
- -fPIC
- check()
- docs
- add C headers
- add mobical
- Tested in clean chroot
- namcap passes
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -1,14 +1,14 @@ -# Generated by mksrcinfo v8 -# Fri Mar 4 05:20:10 UTC 2022 pkgbase = cadical pkgdesc = A simple CDCL satisfiability solver - pkgver = 1.5.0 + pkgver = 1.9.5 pkgrel = 1 url = http://fmv.jku.at/cadical/ arch = x86_64 license = MIT - source = https://github.com/arminbiere/cadical/archive/rel-1.5.0.tar.gz - md5sums = 79a7070b4ae539d14accaea2687c98d3 + depends = gcc-libs + depends = glibc + options = !lto + source = https://github.com/arminbiere/cadical/archive/rel-1.9.5.tar.gz + b2sums = 68c7fcc35ef0ad5082d5bbc828363ee45c2e637f281f1829ffb34047fff73775d34615e0ac37b8b49ff20b941db85b72c0dd6de0ab5ec5a690fd80fb5489b212 pkgname = cadical - |