Commit Graph

173609 Commits

Author SHA1 Message Date
Leah Neukirchen ba6591ea35 pahole: move reverts= after pkgname. 2023-02-15 14:57:02 +01:00
Gonzalo Tornaría a59f11fd25 sagemath: update to 9.8.
Also:
 - fix edge case of python 3.11 integer conversion on 32 bit
 - support tachyon 0.99.5
 - support singular 4.3.1p3
 - fix tests for giac 1.9.0.35
 - fix tests for numpy 1.24
 - skip unstable tests in klyachko.py
 - remove zn_poly dependency
 - fix very slow test in stream.py
2023-02-15 14:32:32 +01:00
Gonzalo Tornaría e11738213b brial: update to 1.2.12. 2023-02-15 14:32:32 +01:00
Gonzalo Tornaría 8faa5d59cf singular: update to 4.3.1p3. 2023-02-15 14:32:32 +01:00
John 9a01eb28ed syntax-highlighting: explicitly link against libatomic 2023-02-15 11:48:11 +01:00
John 85ebf1b276 threadweaver: update to 5.103.0. 2023-02-15 08:21:30 +01:00
John 4201bf89c4 syntax-highlighting: update to 5.103.0. 2023-02-15 08:21:30 +01:00
John 46e5b4da2b syndication: update to 5.103.0. 2023-02-15 08:21:30 +01:00
John f4f4f6bcc0 sonnet: update to 5.103.0. 2023-02-15 08:21:30 +01:00
John 5bff35661d qqc2-desktop-style: update to 5.103.0. 2023-02-15 08:21:30 +01:00
John 604132da26 purpose: update to 5.103.0. 2023-02-15 08:21:30 +01:00
John b73417ffb2 prison: update to 5.103.0. 2023-02-15 08:21:30 +01:00
John 974c4a0e49 plasma-framework: update to 5.103.0. 2023-02-15 08:21:30 +01:00
John 9dc21e05ab oxygen-icons5: update to 5.103.0. 2023-02-15 08:21:30 +01:00
John 1519d2654b networkmanager-qt5: update to 5.103.0. 2023-02-15 08:21:30 +01:00
John 75741216d1 modemmanager-qt5: update to 5.103.0. 2023-02-15 08:21:30 +01:00
John 77d6da83af kxmlrpcclient: update to 5.103.0. 2023-02-15 08:21:30 +01:00
John 3b60ba436c kxmlgui: update to 5.103.0. 2023-02-15 08:21:29 +01:00
John 375b93dcbc kwindowsystem: update to 5.103.0. 2023-02-15 08:21:29 +01:00
John 7edc76c9f7 kwidgetsaddons: update to 5.103.0. 2023-02-15 08:21:29 +01:00
John bc23d86352 kwayland: update to 5.103.0. 2023-02-15 08:21:29 +01:00
John cfd350b71a kwallet: update to 5.103.0. 2023-02-15 08:21:29 +01:00
John a4d7e5a0dd kunitconversion: update to 5.103.0. 2023-02-15 08:21:29 +01:00
John 6735ecceaa ktextwidgets: update to 5.103.0. 2023-02-15 08:21:29 +01:00
John 8362501828 ktexteditor: update to 5.103.0. 2023-02-15 08:21:29 +01:00
John 5a2ba53d0a ksolid: update to 5.103.0. 2023-02-15 08:21:29 +01:00
John 0df5dd127e kservice: update to 5.103.0. 2023-02-15 08:21:29 +01:00
John 530609a4cb krunner: update to 5.103.0. 2023-02-15 08:21:29 +01:00
John 57421a83f8 kross: update to 5.103.0. 2023-02-15 08:21:29 +01:00
John 2889a42ea8 kquickcharts: update to 5.103.0. 2023-02-15 08:21:29 +01:00
John f39410df48 kpty: update to 5.103.0. 2023-02-15 08:21:29 +01:00
John 7483aee37a kplotting: update to 5.103.0. 2023-02-15 08:21:29 +01:00
John 743e45ab96 kpeople: update to 5.103.0. 2023-02-15 08:21:29 +01:00
John 8dfca1f1a9 kparts: update to 5.103.0. 2023-02-15 08:21:29 +01:00
John f9aff2cc47 kpackage: update to 5.103.0. 2023-02-15 08:21:29 +01:00
John 894a8e6d68 knotifyconfig: update to 5.103.0. 2023-02-15 08:21:28 +01:00
John f1eadc1ba6 knotifications: update to 5.103.0. 2023-02-15 08:21:28 +01:00
John 95fd6480c6 knewstuff: update to 5.103.0. 2023-02-15 08:21:28 +01:00
John 57bac15055 kmediaplayer: update to 5.103.0. 2023-02-15 08:21:28 +01:00
John e0b011ff4b kjsembed: update to 5.103.0. 2023-02-15 08:21:28 +01:00
John 17bffee985 kjs: update to 5.103.0. 2023-02-15 08:21:28 +01:00
John e04cfcc643 kjobwidgets: update to 5.103.0. 2023-02-15 08:21:28 +01:00
John a8c9750d8f kitemviews: update to 5.103.0. 2023-02-15 08:21:28 +01:00
John 8c8fd8844f kitemmodels: update to 5.103.0. 2023-02-15 08:21:28 +01:00
John 8a0fa82895 kirigami2: update to 5.103.0. 2023-02-15 08:21:28 +01:00
John 6476016d26 kio: update to 5.103.0. 2023-02-15 08:21:28 +01:00
John 0b66db9fda kinit: update to 5.103.0. 2023-02-15 08:21:28 +01:00
John 2c4149d22c kimageformats: update to 5.103.0. 2023-02-15 08:21:28 +01:00
John d18e4266d6 kidletime: update to 5.103.0. 2023-02-15 08:21:28 +01:00
John bb78236a5e kiconthemes: update to 5.103.0. 2023-02-15 08:21:28 +01:00