p96705831
/
z3
forked from openkylin/z3
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
7 Commits 4 Branches 0 Tags 4.9 MiB
Commit Graph

7 Commits

Author SHA1 Message Date
Lu zhiping fd95bb3b66 changed debian/source/format to native 2022-08-15 16:26:58 +08:00
Aurelien Jarno 9ea1869bfb Fix build failure on riscv64 
Origin: vendor, https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=948109#75
Bug-Debian: https://bugs.debian.org/948109
Last-Update: 2020-01-10

Gbp-Pq: Name 03-pthread.patch
 2022-08-15 16:26:58 +08:00
Fabian Wolff 19e9b59dde Set the SONAME properly 
Last-Update: 2020-01-08

Gbp-Pq: Name 02-soname.patch
 2022-08-15 16:26:58 +08:00
Fabian Wolff 4b0a87813d Remove the use of __DATE__ to make the build reproducible 
Last-Update: 2019-09-29

Gbp-Pq: Name 01-reproducibility.patch
 2022-08-15 16:26:58 +08:00
Michael Tautschnig c983ce36b1 INTRINSICS are not universally available 
Forwarded: no
Last-Update: 2016-07-08

Gbp-Pq: Name 00-intrinsics.patch
 2022-08-15 16:26:58 +08:00
openKylinBot dc061f3f95 Import Debian changes 4.8.7-ok1 
z3 (4.8.7-ok1) yangtze; urgency=medium

  * Build for openKylin.
 2022-08-15 16:26:40 +08:00
Lu zhiping 65307b9f12 Import Upstream version 4.8.7 2022-08-15 16:26:39 +08:00