]> git.pld-linux.org Git - packages/z3.git/commit
projects / packages / z3.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4567459) | patch
- added includes patch (missing <cstdint> include); release 2 master auto/th/z3-4.12.2-2
authorJakub Bogusz <qboosh@pld-linux.org>
Sat, 11 Nov 2023 18:54:55 +0000 (19:54 +0100)
committerJakub Bogusz <qboosh@pld-linux.org>
Sat, 11 Nov 2023 18:54:55 +0000 (19:54 +0100)
commitbb2993cfb1348c4bf2cee7220ca844aaf8d8f263
treead8b97effb2f37dc6f5384dbe5de36a8a0f0ae8btree | snapshot
parent4567459447eb1f6528a1f6008ef3495cdc50f843commit | diff
- added includes patch (missing <cstdint> include); release 2
z3-includes.patch [new file with mode: 0644] blob
z3.spec diff | blob | blame | history
High-performance theorem prover developed at Microsoft Research
This page took 0.138335 seconds and 4 git commands to generate.