diff options
| author | Luke Granger-Brown <git@lukegb.com> | 2024-02-23 11:19:22 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-23 11:19:22 +0000 |
| commit | ed88887f50e03d766d4d8548fbc2556bf72b684e (patch) | |
| tree | c15d6e7adbba90e29455b5845a1826430a70978a /COPYING | |
| parent | 4ec69afa512d956a6acacc1f1d860aa8632f3717 (diff) | |
| parent | f0b157a7649063ddb1f9dca0e72f1f45ec142f1a (diff) | |
| download | nixlib-ed88887f50e03d766d4d8548fbc2556bf72b684e.tar nixlib-ed88887f50e03d766d4d8548fbc2556bf72b684e.tar.gz nixlib-ed88887f50e03d766d4d8548fbc2556bf72b684e.tar.bz2 nixlib-ed88887f50e03d766d4d8548fbc2556bf72b684e.tar.lz nixlib-ed88887f50e03d766d4d8548fbc2556bf72b684e.tar.xz nixlib-ed88887f50e03d766d4d8548fbc2556bf72b684e.tar.zst nixlib-ed88887f50e03d766d4d8548fbc2556bf72b684e.zip | |
Merge pull request #290693 from simonhollingshead/boolector-3.2.3-plus-cpp14
boolector: 3.2.2 -> 3.2.3 + upstream patch for C++14 compatibility.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions