z3 (4.13.0) aosc-os-abbs/stable; urgency=medium [68134b2012] z3: update to 4.13.0 -- Suyun <108112549+Suyun114@users.noreply.github.com> Sat, 09 Mar 2024 01:33:33 +0000 z3 (4.13.0) aosc-os-abbs/z3-4.13.0; urgency=medium [9c5840e2e9] z3: update to 4.13.0 -- Suyun114 <108112549+Suyun114@users.noreply.github.com> Fri, 08 Mar 2024 11:46:12 +0000 z3 (4.8.10) aosc-os-abbs/stable; urgency=medium [52ac1a7f83] tree-wide: {base,extra}-devel => app-devel -- Mingcong Bai Thu, 16 Mar 2023 07:14:32 +0000 z3 (4.8.10) aosc-os-abbs/stable; urgency=medium [77a9d476d7] z3: mark ABTYPE as cmakeninja -- WhiredPlanck Wed, 12 Oct 2022 02:18:14 +0000 z3 (4.8.10) aosc-os-abbs/stable; urgency=medium [879b800e5e] z3: only build Python 3 modules -- WhiredPlanck Wed, 12 Oct 2022 02:18:14 +0000 z3 (4.8.10) aosc-os-abbs/stable; urgency=medium [b43a7ce112] z3: enable LTO on loongson3 -- WhiredPlanck Wed, 12 Oct 2022 02:18:14 +0000 z3 (4.8.10) aosc-os-abbs/stable; urgency=medium [3d315d12cc] z3: rebuild for Python 3.10.0 -- Mingcong Bai Tue, 23 Nov 2021 03:05:56 +0000 z3 (4.8.10) aosc-os-abbs/stable; urgency=medium [409362c779] z3: mark CHKUPDATE -- Mingcong Bai Sat, 14 Aug 2021 05:21:56 +0000 z3 (4.8.10) aosc-os-abbs/stable; urgency=medium [bb1c7251de] z3: fix src link; update checksum -- Mingcong Bai Sat, 08 May 2021 08:17:01 +0000 z3 (4.8.10) aosc-os-abbs/stable; urgency=medium [4dc3cc2636] z3: update to 4.8.10 -- Mingcong Bai Sat, 08 May 2021 08:16:15 +0000 z3 (4.8.9) aosc-os-abbs/stable; urgency=medium [26922f6616] z3: disable CMake option for LTO on loongson3 -- Mingcong Bai Tue, 17 Nov 2020 22:12:20 +0000 z3 (4.8.9) aosc-os-abbs/stable; urgency=medium [37dba474be] z3: disable LTO on loongson3 -- Mingcong Bai Tue, 10 Nov 2020 23:53:37 +0000 z3 (4.8.9) aosc-os-abbs/stable; urgency=medium [115545b167] z3: fix python2 bindings generation -- Mingcong Bai Tue, 10 Nov 2020 21:16:26 +0000 z3 (4.8.9) aosc-os-abbs/stable; urgency=medium [9f9d667188] z3: merge duplicate spec files -- Mingcong Bai Tue, 10 Nov 2020 21:16:26 +0000 z3 (4.8.9) aosc-os-abbs/stable; urgency=medium [a133f025c0] z3: bump REL -- Mingcong Bai Tue, 10 Nov 2020 21:16:26 +0000 z3 (4.8.9) aosc-os-abbs/stable; urgency=medium [b1d7c63405] z3: use build as ab3 is confused on aarch64 -- Mingcong Bai Tue, 10 Nov 2020 21:16:26 +0000 z3 (4.8.9) aosc-os-abbs/stable; urgency=medium [b7ac0d48b9] z3: quotes in the build script -- Mingcong Bai Tue, 10 Nov 2020 21:16:26 +0000 z3 (4.8.9) aosc-os-abbs/stable; urgency=medium [ba6ea986f6] z3: new, 4.8.9 -- Mingcong Bai Tue, 10 Nov 2020 21:16:26 +0000 z3 (4.8.9) aosc-os-abbs/stable; urgency=medium [c4946bae95] z3: unquote cmake parameters -- Mingcong Bai Tue, 10 Nov 2020 21:16:26 +0000 z3 (4.8.9) aosc-os-abbs/stable; urgency=medium [950ea2e7e1] Merge branch 'testing-proposed' into explosive -- Mingcong Bai Thu, 17 Sep 2020 06:17:07 +0000 z3 (4.8.9) aosc-os-abbs/stable; urgency=medium [64f533cd5b] Merge branch 'testing' into testing-proposed -- Mingcong Bai Thu, 17 Sep 2020 06:16:43 +0000 z3 (4.8.9) aosc-os-abbs/stable; urgency=medium [8ffe8e6614] Merge branch 'stable-proposed' into testing -- Mingcong Bai Thu, 17 Sep 2020 05:59:04 +0000 z3 (4.8.9) aosc-os-abbs/stable; urgency=medium [213d1d8a86] z3: update to 4.8.9 -- Mingcong Bai Mon, 14 Sep 2020 18:02:43 +0000 z3 (4.8.7) aosc-os-abbs/stable; urgency=medium [b5a1f84262] Merge branch 'testing-proposed' into explosive -- Mingcong Bai Fri, 14 Feb 2020 03:11:19 +0000 z3 (4.8.7) aosc-os-abbs/stable; urgency=medium [73d75b1dd0] Merge branch 'testing' into testing-proposed -- Mingcong Bai Fri, 14 Feb 2020 03:11:06 +0000 z3 (4.8.7) aosc-os-abbs/stable; urgency=medium [c1b14a690e] z3: update to 4.8.7 -- Mingcong Bai Thu, 13 Feb 2020 23:17:47 +0000 z3 (4.8.5) aosc-os-abbs/stable; urgency=medium [32cb766651] Merge branch 'testing' of https://github.com/AOSC-Dev/aosc-os-abbs into testing -- eatradish Wed, 07 Aug 2019 21:29:15 +0000 z3 (4.8.5) aosc-os-abbs/stable; urgency=medium [1aba25ee8d] Merge branch 'stable' into testing -- Kexy Biscuit Wed, 07 Aug 2019 08:24:09 +0000 z3 (4.8.5) aosc-os-abbs/stable; urgency=medium [fd4a16eca4] z3: update to 4.8.5 -- Mingcong Bai Wed, 07 Aug 2019 03:56:44 +0000 z3 (4.8.5) aosc-os-abbs/stable; urgency=medium [62e6dba063] Merge branch 'stable-proposed' into explosive -- Kexy Biscuit Wed, 24 Jul 2019 03:07:25 +0000 z3 (4.8.5) aosc-os-abbs/stable; urgency=medium [59fd83ee17] z3: update to 4.8.5 -- Mingcong Bai Tue, 23 Jul 2019 12:14:19 +0000 z3 (4.8.4) aosc-os-abbs/stable; urgency=medium [45bd930b50] spec add SHA256 checksums -- Dingyuan Wang Sun, 14 Apr 2019 13:41:06 +0000 z3 (4.8.4) aosc-os-abbs/stable; urgency=medium [52f8877e20] z3: rebuild for gcc-runtime -- Mingcong Bai Fri, 29 Mar 2019 01:24:05 +0000 z3 (4.8.4) aosc-os-abbs/stable; urgency=medium [8cd63ab5ff] Merge remote-tracking branch 'origin/explosive' into testing -- Mingcong Bai Sun, 17 Feb 2019 08:57:07 +0000 z3 (4.8.4) aosc-os-abbs/stable; urgency=medium [d397b9fc64] z3: update to 4.8.4 -- Mingcong Bai Thu, 14 Feb 2019 08:51:06 +0000 z3 (4.8.1) aosc-os-abbs/stable; urgency=medium [248612def9] Merge branch 'testing' of https://github.com/aosc-dev/aosc-os-abbs into testing -- Bob Cao Fri, 08 Feb 2019 23:54:03 +0000 z3 (4.8.1) aosc-os-abbs/stable; urgency=medium [d88cee5719] Merge branch 'explosive' into testing -- Mingcong Bai Mon, 21 Jan 2019 15:33:12 +0000 z3 (4.8.1) aosc-os-abbs/stable; urgency=medium [ab296936e4] Merge branch 'testing' into explosive -- Mingcong Bai Tue, 25 Dec 2018 08:15:04 +0000 z3 (4.7.1) aosc-os-abbs/stable; urgency=medium [796a24daaf] z3: use CMake, build Python bindings -- Mingcong Bai Fri, 30 Nov 2018 06:33:15 +0000 z3 (4.8.1) aosc-os-abbs/stable; urgency=medium [a255168e63] z3: update to 4.8.1 -- Mingcong Bai Fri, 26 Oct 2018 01:57:29 +0000 z3 (4.7.1) aosc-os-abbs/stable; urgency=medium [28bbdbfff0] z3: update to 4.7.1 -- Colin Leway Sat, 09 Jun 2018 15:58:41 +0000 z3 (4.5.0) aosc-os-abbs/stable; urgency=medium [37e6559e4a] z3: update to 4.5.0 -- Mingcong Bai Wed, 16 Nov 2016 18:54:49 +0000 z3 (4.4.1) aosc-os-abbs/stable; urgency=medium [daee393e19] Merge branch 'staging' of https://github.com/AOSC-Dev/aosc-os-abbs into staging -- Sijie Bu Sun, 13 Mar 2016 04:07:16 +0000 z3 (4.4.1) aosc-os-abbs/stable; urgency=medium [8555a1f86d] z3: new, 4.4.1 -- Mingcong Bai Mon, 29 Feb 2016 04:01:50 +0000