- Thu Feb 9 2023 daviddavid <daviddavid> 4.12.1-1.mga9
+ Revision: 1939569
- new version: 4.12.1 - Wed Jan 18 2023 daviddavid <daviddavid> 4.12.0-1.mga9
+ Revision: 1934220
- new version: 4.12.0
- drop upstreamed -data-race and -uninit patches - Sun Jan 15 2023 daviddavid <daviddavid> 4.11.2-1.mga9
+ Revision: 1933246
- new version: 4.11.2
- add -data-race patch to fix segfault (bz 2157972)
- add -uninit patch to fix use of an uninitialized value
- use new OCaml macros - Sun Jan 8 2023 daviddavid <daviddavid> 4.8.17-1.mga9
+ Revision: 1931575
- rebuild for ocaml-zarith change
+ neoclust
- New version 4.8.17 - Sat May 21 2022 pterjan <pterjan> 4.8.15-5.mga9
+ Revision: 1859659
- Rebuild for OCaml 4.14 - Sat May 14 2022 pterjan <pterjan> 4.8.15-4.mga9
+ Revision: 1858159
- Oops, I said provide - Sat May 14 2022 pterjan <pterjan> 4.8.15-3.mga9
+ Revision: 1858158
- Provide what is required by subpackages - Sun Apr 24 2022 joequant <joequant> 4.8.15-2.mga9
+ Revision: 1852975
- change z3 libname - Fri Apr 22 2022 joequant <joequant> 4.8.15-1.mga9
+ Revision: 1852625
- fix groups
- imported package z3