zarith (1.9.1) aosc-os-abbs/stable; urgency=medium [c9c837dba8] zarith: bump REL due to ocaml update to 4.14.2 -- Mingcong Bai Tue, 07 May 2024 09:18:58 +0000 zarith (1.9.1) aosc-os-abbs/stable; urgency=medium [8c7b16ab8b] tree-wide: extra-ocaml => lang-ocaml -- Mingcong Bai Thu, 16 Mar 2023 07:14:32 +0000 zarith (1.9.1) aosc-os-abbs/stable; urgency=medium [c4d99dadb0] zarith: mark CHKUPDATE -- Mingcong Bai Sat, 14 Aug 2021 05:26:47 +0000 zarith (1.9.1) aosc-os-abbs/stable; urgency=medium [279ec846aa] zarith: switch to new ACBS spec format -- Mingcong Bai Fri, 21 May 2021 08:45:21 +0000 zarith (1.9.1) aosc-os-abbs/stable; urgency=medium [26eca99b9a] zarith: do not split debug package -- Mingcong Bai Sat, 30 Jan 2021 05:04:07 +0000 zarith (1.9.1) aosc-os-abbs/stable; urgency=medium [5a65c5c878] zarith: do not split debug package -- Mingcong Bai Sat, 30 Jan 2021 05:04:07 +0000 zarith (1.9.1) aosc-os-abbs/stable; urgency=medium [8be7bd80e8] zarith: rebuild static library against new GCC runtime -- Mingcong Bai Sat, 05 Dec 2020 08:46:05 +0000 zarith (1.9.1) aosc-os-abbs/stable; urgency=medium [cf6dc5a31c] Merge branch 'testing-proposed' into explosive -- Mingcong Bai Thu, 05 Dec 2019 17:56:24 +0000 zarith (1.9.1) aosc-os-abbs/stable; urgency=medium [b38ddaff48] zarith: rebuild for ocaml -- Mingcong Bai Sat, 09 Nov 2019 21:45:55 +0000 zarith (1.9.1) aosc-os-abbs/stable; urgency=medium [67af036c8f] Merge branch 'testing-proposed' into explosive -- Mingcong Bai Wed, 23 Oct 2019 14:28:22 +0000 zarith (1.9.1) aosc-os-abbs/stable; urgency=medium [34e87fc57f] Merge remote-tracking branch 'origin/testing-proposed' into testing -- Mingcong Bai Sun, 20 Oct 2019 04:01:51 +0000 zarith (1.9.1) aosc-os-abbs/stable; urgency=medium [4e391687aa] zarith: update to 1.9.1 -- Mingcong Bai Wed, 18 Sep 2019 15:19:13 +0000 zarith (1.7) aosc-os-abbs/stable; urgency=medium [45bd930b50] spec add SHA256 checksums -- Dingyuan Wang Sun, 14 Apr 2019 13:41:06 +0000 zarith (1.7) aosc-os-abbs/stable; urgency=medium [066a26ff94] zarith: new, 1.7 -- Mingcong Bai Sun, 12 Nov 2017 05:15:36 +0000