diff options
author | Simon Hollingshead <me@simonhollingshead.com> | 2024-02-22 19:48:14 +0000 |
---|---|---|
committer | Simon Hollingshead <me@simonhollingshead.com> | 2024-02-22 19:48:14 +0000 |
commit | f0b157a7649063ddb1f9dca0e72f1f45ec142f1a (patch) | |
tree | 2d1a498df28fb70ba396df69deebdb25b8cc10df /COPYING | |
parent | a331a49cf7bbc33aee0698d5cc6e5e458e0d73e9 (diff) | |
download | nixlib-f0b157a7649063ddb1f9dca0e72f1f45ec142f1a.tar nixlib-f0b157a7649063ddb1f9dca0e72f1f45ec142f1a.tar.gz nixlib-f0b157a7649063ddb1f9dca0e72f1f45ec142f1a.tar.bz2 nixlib-f0b157a7649063ddb1f9dca0e72f1f45ec142f1a.tar.lz nixlib-f0b157a7649063ddb1f9dca0e72f1f45ec142f1a.tar.xz nixlib-f0b157a7649063ddb1f9dca0e72f1f45ec142f1a.tar.zst nixlib-f0b157a7649063ddb1f9dca0e72f1f45ec142f1a.zip |
boolector: 3.2.2 -> 3.2.3 + upstream patch for C++14 compatibility.
https://github.com/Boolector/boolector/compare/3.2.2...3.2.3 https://github.com/Boolector/boolector/commit/cc13f371c0c5093d98638ddd213dc835ef3aadf3
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions