| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | gnu: Various typo fixes.•••* gnu/packages/emacs-xyz.scm (emacs-popup-kill-ring)[description]: Fix very
sneaky "This packages" variant. Thanks to nckhexen!
* gnu/packages/bioinformatics.scm (r-icellnet)[description]: Fix use of
"allows to".
* gnu/packages/check.scm (python-pytest-freezegun)[description]: Ditto.
* gnu/packages/linux.scm (tp-smapi-module)[description]: Ditto.
* gnu/packages/mail.scm (procmail): Ditto.
* gnu/packages/maths.scm (maxima): Ditto.
* gnu/packages/samba.scm (wsdd)[description]: Ditto.
* gnu/packages/ssh.scm (openssh): Ditto.
| Vagrant Cascadian | 2022-10-24 | 1 | -1/+1 |
| * | Merge branch 'staging' | Marius Bakke | 2022-10-16 | 1 | -2/+2 |
| |\ |
|
| | * | Merge remote-tracking branch 'origin/master' into staging•••Conflicts:
gnu/packages/gnuzilla.scm
gnu/packages/graphics.scm
gnu/packages/gstreamer.scm
gnu/packages/gtk.scm
gnu/packages/kde-frameworks.scm
gnu/packages/video.scm
| Efraim Flashner | 2022-10-12 | 1 | -2/+2 |
| | |\ |
|
| | * \ | Merge branch 'master' into staging.•••With resolved conflicts in:
gnu/local.mk
gnu/packages/crates-io.scm
| Maxim Cournoyer | 2022-09-27 | 1 | -0/+1 |
| | |\ \ |
|
| | * \ \ | Merge branch 'master' into staging | Marius Bakke | 2022-08-27 | 1 | -0/+64 |
| | |\ \ \ |
|
| | * \ \ \ | Merge branch 'master' into staging | Marius Bakke | 2022-08-11 | 1 | -225/+334 |
| | |\ \ \ \ |
|
| | * | | | | | gnu: suitesparse: Update to 5.12.0.•••* gnu/packages/maths.scm (suitesparse): Update to 5.12.0.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Greg Hogan | 2022-08-08 | 1 | -2/+2 |
| * | | | | | | gnu: fp16: Fix build on i686-linux.•••* gnu/packages/patches/fp16-implicit-double.patch: New file.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.
* gnu/packages/maths.scm (fp16)[source](patches): Add it.
| Marius Bakke | 2022-10-15 | 1 | -1/+2 |
| | |_|_|_|/
|/| | | | |
|
| * | | | | | gnu: units: Update to 2.22.•••* gnu/packages/maths.scm (units): Update to 2.22.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
| Mike Swanson | 2022-10-02 | 1 | -2/+2 |
| | |_|_|/
|/| | | |
|
| * | | | | gnu: lablgtk3: Update to 3.1.2.•••* gnu/packages/ocaml.scm (lablgtk3): Update to 3.1.2.
[arguments]: Do not build extensions anymore (missing dependency)
* gnu/packages/games.scm (laby)[inputs]: Use
`ocaml-lablgtk3-sourceview3'.
* gnu/packages/maths.scm (frama-c)[inputs]: Use
`ocaml-lablgtk3-sourceview3'.
* gnu/packages/coq.scm (coq-ide)[inputs]: Use
`ocaml-lablgtk3-sourceview3'.
| Julien Lepiller | 2022-09-22 | 1 | -0/+1 |
| | |_|/
|/| | |
|
| * | | | gnu: Add kissat.•••* gnu/packages/maths.scm (kissat): New variable.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
| Maximilian Heisinger | 2022-08-15 | 1 | -0/+58 |
| * | | | gnu: itpp: Remove non-deterministic log file.•••* gnu/packages/maths.scm (itpp)[arguments]: Add 'delete-formulas-log phase.
| Vagrant Cascadian | 2022-08-14 | 1 | -0/+6 |
| | |/
|/| |
|
| * | | gnu: frama-c: Use lablgtk3.•••* gnu/packages/maths.scm (frama-c): Build the graphical interface.
| Julien Lepiller | 2022-08-10 | 1 | -0/+1 |
| * | | gnu: maxima: Fix to find info files.•••The Maxima command ‘describe’ allows to pick the relevant portions from
Maxima’s Texinfo docs. However it does not support reading gzipped info
files.
* gnu/packages/maths.scm (maxima)[arguments]<phases>: Delete
'compress-documentation phase.
Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
| Daniel Meißner | 2022-08-10 | 1 | -1/+5 |
| * | | gnu: cddlib: Update to 0.94m.•••* gnu/packages/maths.scm (cddlib): Update to 0.94m.
[source]: Move to git, following the upstream decision.
[native-inputs]: New field.
[arguments]: New field to have docdir include the version number.
Co-authored-by: Andreas Enge <andreas@enge.fr>
| vicvbcun | 2022-08-09 | 1 | -5/+20 |
| * | | gnu: wxmaxima: Update to 22.05.0.•••* gnu/packages/maths.scm (wxmaxima): Update to 22.05.0.
| Andreas Enge | 2022-08-09 | 1 | -2/+2 |
| * | | gnu: maxima: Update to 5.46.0.•••* gnu/packages/maths.scm (maxima): Update to 5.46.0.
| Andreas Enge | 2022-08-09 | 1 | -2/+2 |
| * | | gnu: mumps: Add alternate source code URL.•••* gnu/packages/maths.scm (mumps)[source]: Add alternate URL.
| Ludovic Courtès | 2022-08-05 | 1 | -2/+5 |
| * | | gnu: mumps: Update to 5.5.1•••* gnu/packages/maths.scm (mumps): Update to 5.5.1. Stop applying patches as the build configuration has been updated upstream. Allow for further optimized BLR compression by specifying the -DBLR_MT build option.
* gnu/packages/patches/mumps-build-parallelism.patch: File removed.
* gnu/packages/patches/mumps-shared-libseq.patch: File removed.
* gnu/packages/patches/mumps-shared-mumps.patch: File removed.
* gnu/packages/patches/mumps-shared-pord.patch: File removed.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| FELŠÖCI Marek | 2022-08-05 | 1 | -59/+72 |
| * | | gnu: veusz: Fix build.•••* gnu/packages/maths.scm (veusz)[arguments] Fix lookup of qtsvg path
in wrap-executable phase.
Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
| Felix Gruber | 2022-08-05 | 1 | -1/+1 |
| * | | gnu: Add itex2mml.•••* gnu/packages/maths.scm (itex2mml): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Philip McGrath | 2022-08-04 | 1 | -0/+53 |
| * | | gnu: gnuplot: Update to 5.4.4.•••* gnu/packages/maths.scm (gnuplot): Update to 5.4.4.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
| Paul A. Patience | 2022-08-02 | 1 | -2/+2 |
| * | | gnu: gnuplot: Use G-expressions.•••* gnu/packages/maths.scm (gnuplot)[arguments]: Use G-expressions.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
| Paul A. Patience | 2022-08-02 | 1 | -5/+6 |
| * | | gnu: gnuplot: Remove input labels.•••* gnu/packages/maths.scm (gnuplot)[inputs]: Move below native-inputs and
sort.
[native-inputs]: Remove labels.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
| Paul A. Patience | 2022-08-02 | 1 | -3/+3 |
| * | | gnu: wcalc: Remove pre-generated files.•••* gnu/packages/maths.scm (wcalc)[source]: Add snippet to remove files
generated by bison and flex.
[native-inputs]: Add bison, flex.
| Efraim Flashner | 2022-08-02 | 1 | -3/+11 |
| * | | gnu: trilinos-for-dealii-openmpi: Use G-expressions.•••* gnu/packages/maths.scm (trilinos-for-dealii-openmpi)[arguments]: Use
G-expressions.
<#:phases>: Remove trailing boolean.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Paul A. Patience | 2022-08-01 | 1 | -79/+83 |
| * | | gnu: trilinos-for-dealii-openmpi: Remove input labels.•••* gnu/packages/maths.scm (trilinos-for-dealii-openmpi)[native-inputs,
inputs, propagated-inputs]: Remove labels.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Paul A. Patience | 2022-08-01 | 1 | -26/+27 |
| * | | gnu: dealii: Update to 9.4.0.•••* gnu/packages/maths.scm (dealii): Update to 9.4.0.
[propagated-inputs]: Replace sundials-5 with sundials.
(dealii-openmpi)[propagated-inputs]: Replace sundials-openmpi-5 with
sundials-openmpi.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Paul A. Patience | 2022-08-01 | 1 | -5/+4 |
| * | | gnu: dealii: Use G-expressions.•••* gnu/packages/maths.scm (dealii)[snippet, arguments]: Use
G-expressions.
(dealii-openmpi)[arguments]: Same.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Paul A. Patience | 2022-08-01 | 1 | -28/+32 |
| * | | gnu: trilinos-for-dealii-openmpi: Fix build.•••* gnu/packages/maths.scm (trilinos-for-dealii-openmpi)[native-inputs]:
Add gcc-7 to fix the failing build with newer versions of gcc.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Paul A. Patience | 2022-08-01 | 1 | -1/+4 |
| * | | gnu: hdf5-1.8: Add missing comma to linker flag.•••* gnu/packages/maths.scm (hdf5-1.8)[arguments]<#:phases>: Add missing
comma to linker flag.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Paul A. Patience | 2022-08-01 | 1 | -1/+1 |
| * | | gnu: qttools: Rename to qttools-5.•••Automated with:
git grep -l qttools | xargs sed 's/\bqttools\b/\0-5/g' -i
git checkout NEWS
| Maxim Cournoyer | 2022-07-31 | 1 | -4/+4 |
| * | | gnu: qtsvg: Rename variable to qtsvg-5.•••This is in preparation of the qtsvg update to version 6.
This change was automated via the following command:
git grep -l '\bqtsvg\b' | xargs sed 's/qtsvg/qtsvg-5/g' -i
| Maxim Cournoyer | 2022-07-31 | 1 | -2/+2 |
| |/ |
|
| * | gnu: gmsh: Update to 4.10.5.•••* gnu/packages/maths.scm (gmsh): Update to 4.10.5.
[source]: Reindent.
Signed-off-by: Christopher Baines <mail@cbaines.net>
| Paul A. Patience | 2022-07-15 | 1 | -13/+13 |
| * | gnu: gmsh: Remove trailing booleans.•••* gnu/packages/maths.scm (gmsh)[snippet, arguments]: Remove trailing
booleans.
Signed-off-by: Christopher Baines <mail@cbaines.net>
| Paul A. Patience | 2022-07-15 | 1 | -5/+2 |
| * | gnu: gmsh: Remove input labels.•••* gnu/packages/maths.scm (gmsh)[inputs]: Remove labels.
Signed-off-by: Christopher Baines <mail@cbaines.net>
| Paul A. Patience | 2022-07-15 | 1 | -3/+3 |
| * | gnu: elpa: Update source URL.•••Fixes <https://issues.guix.gnu.org/46460>.
* gnu/packages/maths.scm (elpa): Update source URL.
Reported-by: Danny Milosavljevic <dannym@scratchpost.org>
| Maxim Cournoyer | 2022-07-13 | 1 | -1/+2 |
| * | gnu: nauty: Update package style.•••* gnu/packages/maths.scm (nauty)[arguments]: Use G-expressions. Remove
trailing #T.
| Nicolas Goaziou | 2022-07-04 | 1 | -39/+37 |
| * | gnu: nauty: Update to 2.7r4.•••* gnu/packages/maths.scm (nauty): Update to 2.7r4.
| Nicolas Goaziou | 2022-07-04 | 1 | -2/+2 |
| * | gnu: Add giza•••* gnu/packages/maths.scm (giza): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Sharlatan Hellseher | 2022-07-04 | 1 | -0/+26 |
| * | gnu: z3: Prefer CMake to build the package.•••Z3 developer recommends to use CMake to build Z3 except the OCaml bindings.
Use CMake also enable us to cross compile z3.
* gnu/packages/maths.scm (z3)[build-system]: Use cmake-build-system.
[arguments]<#:configure-flags>: Add flags for CMake.
<#:phases>: Remove stale phase 'fix-compatability'.
In phase 'check', build the z3 test binary and don't test when cross
compiling.
Add phase 'compile-python-modules' phase to generate python bytecode cache for
z3 python binding.
Add phase 'fix-z3-library-path' to help z3 pythong binding to find the z3
shared library.
(ocaml-z3)[build-system]: Override the inherited value with 'gnu-build-system'.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Zhu Zihao | 2022-07-04 | 1 | -33/+31 |
| * | gnu: z3: Update to 4.8.17.•••* gnu/packages/maths.scm (z3): Update to 4.8.17.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Zhu Zihao | 2022-07-04 | 1 | -2/+2 |
| * | gnu: z3: Use G-expressions.•••* gnu/packages/maths.scm (z3)[arguments]: Use G-expressions.
[native-inputs]: Use label-less style.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Zhu Zihao | 2022-07-04 | 1 | -44/+45 |
| * | gnu: mcrl2: Update to 202206.0.•••* gnu/packages/patches/mcrl2-fix-1687.patch,
gnu/packages/patches/mcrl2-fix-counterexample.patch: New files.
* gnu/local.mk (dist_patch_DATA): Add them.
* gnu/packages/maths.scm (mcrl2): Update to 202206.0 and use them.
| Jan (janneke) Nieuwenhuizen | 2022-07-01 | 1 | -3/+5 |
| * | gnu: octave: Update to 7.1.0.•••* gnu/packages/maths.scm (octave): Update to 7.1.0.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
| Greg Hogan | 2022-06-30 | 1 | -2/+2 |
| * | gnu: hypre: Add missing dependencies on latex fonts.•••* gnu/packages/maths.scm (hypre)[native-inputs]: Add TEXLIVE-COURIER and
TEXLIVE-HELVETIC.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Ontje Lünsdorf | 2022-06-23 | 1 | -0/+2 |
| * | Merge branch 'master' into staging | Ludovic Courtès | 2022-06-08 | 1 | -3/+14 |
| |\ |
|
| | * | gnu: itpp: Avoid embedding build dates.•••* gnu/packages/maths.scm (itpp): Add 'set-man-page-date and
'set-force-source-date phases.
| Vagrant Cascadian | 2022-06-06 | 1 | -1/+12 |
| | * | gnu: ruby-asciimath: Update to 2.0.4.•••gnu/packages/math.scm (ruby-asciimath): Update to 2.0.4.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| SeerLite | 2022-06-04 | 1 | -2/+2 |
| * | | Merge remote-tracking branch 'origin/master' into staging | Efraim Flashner | 2022-06-01 | 1 | -25/+22 |
| |\| |
|
