aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/multiprecision.scm
diff options
context:
space:
mode:
authorJulien Lepiller <julien@lepiller.eu>2022-09-19 22:05:18 +0200
committerJulien Lepiller <julien@lepiller.eu>2022-09-22 07:34:43 +0200
commit9f391b90faca02ca97c5018d6c095ecdaa1a94a7 (patch)
tree89b143ef05fc8dd418224e03090073f4bbbcad43 /gnu/packages/multiprecision.scm
parent9140a4dd1d449f9df02d3c26a211ca335bacff14 (diff)
downloadguix-9f391b90faca02ca97c5018d6c095ecdaa1a94a7.tar.gz
guix-9f391b90faca02ca97c5018d6c095ecdaa1a94a7.zip
gnu: coq-interval: Update to 4.5.2.
* gnu/packages/coq.scm (coq-interval): Update to 4.5.2.
Diffstat (limited to 'gnu/packages/multiprecision.scm')
0 files changed, 0 insertions, 0 deletions
n>gnu: Add kdenlive.Mark Meyer * gnu/packages/kde.scm (kdenlive): New variable. Co-authored-by: Gábor Boskovits <boskovits@gmail.com> Signed-off-by: Gábor Boskovits <boskovits@gmail.com> 2018-09-28gnu: Krita: Update to 4.1.3.Leo Famulari * gnu/packages/kde.scm (krita): Update to 4.1.3. 2018-09-01gnu: Remove Krita 3.Leo Famulari Krita 3 fails to build with Qt 5.11.1. Since it's also unmaintained upstream, remove it. * gnu/packages/kde.scm (krita-3): Remove variable. 2018-09-01gnu: Krita: Build with libraw 0.18.Leo Famulari Fixes <https://bugs.gnu.org/32467>. Reported by Björn Höfling <bjoern.hoefling@bjoernhoefling.de>. * gnu/packages/photo.scm (libraw-0.18): New variable. * gnu/packages/kde.scm (krita)[inputs]: Use libraw-0.18. 2018-09-01gnu: Krita: Update to 4.1.1.Leo Famulari * gnu/packages/kde.scm (krita): Update to 4.1.1. 2018-09-01gnu: libksysguard: Update to 5.13.4.Leo Famulari * gnu/packages/kde.scm (libksysguard): Update to 5.13.4. 2018-04-11gnu: krita: Update to 4.0.1.Leo Famulari * gnu/packages/kde.scm (krita): Update to 4.0.1. 2018-03-27gnu: libkomparediff2: Update to 17.12.3.Tobias Geerinckx-Rice * gnu/packages/kde.scm (libkomparediff2): Update to 17.12.3. 2018-03-23gnu: Keep Krita 3 along with Krita 4.Leo Famulari * gnu/packages/kde.scm (krita-3): New variable. 2018-03-22gnu: krita: Update to 4.0.0.Leo Famulari * gnu/packages/kde.scm (krita): Update to 4.0.0. 2018-02-18gnu: qca: Use mirror://kde scheme for source-url.Hartmut Goebel * gnu/packages/kde.scm (qca)[source]: Use mirror://kde scheme. 2018-02-18gnu: snorenotify: Use mirror://kde scheme for source-url.Hartmut Goebel * gnu/packages/kde.scm (snorenotify)[source]: Use mirror://kde scheme. 2018-02-18gnu: libkomparediff2: Use mirror://kde scheme for source-url.Hartmut Goebel * gnu/packages/kde.scm (libkomparediff2)[source]: Use mirror://kde scheme. 2018-02-18gnu: libkomparediff2: Update to 17.12.1Hartmut Goebel * gnu/packages/kde.scm(libkomparediff2): Update to 17.12.1. [source] Switch to KDE mirror, use mirror://kde scheme. 2018-02-18gnu: libksysguard: Update to 5.11.5.Hartmut Goebel * gnu/packages/kde.scm (libksysguard: Update to 5.11.5). 2018-02-15gnu: Add kholidays.Hartmut Goebel * gnu/packages/kde.scm(kholidays): New variable. 2018-01-13gnu: krita: Update to 3.3.3.Leo Famulari * gnu/packages/kde.scm (krita): Update to 3.3.3. 2018-01-03gnu: krita: Add comment about the wrapper.Leo Famulari * gnu/packages/kde.scm (krita): Add comment. 2018-01-03gnu: krita: Ensure icons are found at runtime.Leo Famulari Fixes <https://bugs.gnu.org/29905>. * gnu/packages/kde.scm (krita)[arguments]: Set the QT_PLUGIN_PATH in a new 'wrap-executable' phase. 2018-01-02gnu: libksysguard: Update to 5.11.4.Tobias Geerinckx-Rice * gnu/packages/kde.scm (libksysguard): Update to 5.11.4. 2017-12-16gnu: krita: Enhance krita.Mark Meyer * gnu/packages/kde.scm (krita)[inputs]: Add libjpeg-turbo, ilmbase and openexr. [native-inputs]: Add vc. [arguments]: Set path to headers for ilmbase. Signed-off-by: Kei Kebreau <kkebreau@posteo.net> 2017-12-12gnu: Add krita.Mark Meyer * gnu/packages/kde.scm (krita): New variable. Signed-off-by: Kei Kebreau <kkebreau@posteo.net> 2017-11-05gnu: libksysguard: Update to 5.11.2.Hartmut Goebel * gnu/packages/kde.scm (libksysguard): Update to 5.11.2. 2017-10-08gnu: kdevelop: Do not hardcode user profile locations in wrapper.Thomas Danckaert * gnu/packages/kde.scm (kdevelop): [arguments]: Do not add ${HOME}/.guix-profile/{share,lib/plugins} to XDG_DATA_DIRS and QT_PLUGIN_PATH when wrapping the executable. 2017-08-30gnu: kdevelop: Update to 5.1.2.Thomas Danckaert * gnu/packages/kde.scm (kdevelop, kdevplatform): Update to 5.1.2. 2017-08-24gnu: libksysguard: Enable more tests (not all working yet).Hartmut Goebel * gnu/packages/kde.scm (libksysguard)[arguments] <#:phases>'check-setup': Set QT_QPA_PLATFORM=offscreen. <#:phases>'check': Enable all tests except of the failing one. 2017-08-18gnu: libksysguard: Update to 5.10.4.Efraim Flashner * gnu/packages/kde.scm (libksysguard ): Update to 5.10.4.