index
:
guix.git
core-updates
core-updates-glibc-2.39
emacs-team
gnome-team
guile-daemon
hurd-team
install-doc-overhaul
kde-team
kernel-updates
keyring
master
old-core-updates
old-guix-wip-file-offset-bits-64-sledgehammer
pyproject-build-system
python-team
r-team
rust-team
tex-team
version-0.10.0
version-0.11.0
version-0.12.0
version-0.13.0
version-0.14.0
version-0.15.0
version-0.16.0
version-0.8.3
version-0.9.0
version-1.0.0
version-1.0.1
version-1.1.0
version-1.2.0
version-1.3.0
version-1.4.0
wip-aarch64-bootstrap
wip-arm-bootstrap
wip-buildroot
wip-check
wip-container
wip-cpu-tuning
wip-deploy
wip-deploy2
wip-desktop
wip-digests
wip-file-offset-bits-64
wip-file-offset-bits-64-sledgehammer
wip-filesearch
wip-full-source-bootstrap
wip-gexp-grafts
wip-gexp-hygiene
wip-git-https
wip-gmp
wip-guix-log
wip-harden-installer
wip-hurd-vm
wip-ipfs
wip-ipfs-substitutes
wip-ipfs2
wip-java-aarch64
wip-kde-education
wip-kde-plasma
wip-loongson2f
wip-mediagoblin
wip-mnt-reform
wip-node-14
wip-node-18-updates
wip-node-importer
wip-node-reproducibility
wip-ocaml
wip-pandas-upgrade
wip-perl6
wip-pinebook-pro
wip-plmshift-2
wip-postfix
wip-ppc
wip-ppc64le
wip-python-mne
wip-python-team
wip-r
wip-r-team
wip-rust
wip-system-bootstrap
wip-webkit
Mirror of the official guix repository
Vivien
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gnu
/
packages
/
maths.scm
Age
Commit message (
Expand
)
Author
2021-10-12
Merge remote-tracking branch 'origin/master' into core-updates-frozen.
Mathieu Othacehe
2021-10-08
gnu: frama-c: Update to 23.1.
Julien Lepiller
2021-10-08
gnu: why3: Update to 1.4.0.
Julien Lepiller
2021-10-07
gnu: mcrl2: Update hash of modified-in-place tarball.
Ludovic Courtès
2021-09-25
gnu: Add minizinc.
Liliana Marie Prikler
2021-09-25
gnu: Add gecode.
Liliana Marie Prikler
2021-09-24
gnu: fp16: Install Python files in the site directory.
Ludovic Courtès
2021-09-17
Merge branch 'master' into core-updates-frozen
Marius Bakke
2021-09-16
gnu: aris: Fix build.
Guillaume Le Vaillant
2021-09-14
gnu: gsl: Comment out more tests that fail on i686-linux.
Ludovic Courtès
2021-09-11
gnu: nauty: Update to 2.7r3.
Nicolas Goaziou
2021-09-11
gnu: netcdf-parallel-openmpi: Allow compilation with GCC 10.
Ludovic Courtès
2021-09-07
Merge branch 'master' into core-updates-frozen
Ludovic Courtès
2021-09-06
gnu: Use the non-deprecated TeX packages.
Ludovic Courtès
2021-09-04
gnu: vc: Update to 1.4.2.
Tobias Geerinckx-Rice
2021-09-04
gnu: nauty: Update to 2.7r2.
Nicolas Goaziou
2021-08-23
gnu: maxima: Fix build.
Guillaume Le Vaillant
2021-08-20
gnu: netcdf-fortran: Fix compiling with gfortran 10.
Guillaume Le Vaillant
2021-08-20
gnu: netcdf: Fix build.
Guillaume Le Vaillant
2021-08-20
gnu: hdf4: Fix compiling with gfortran 10.
Guillaume Le Vaillant
2021-08-12
Merge branch 'master' into core-updates-frozen
Marius Bakke
2021-08-01
Merge branch 'master' into core-updates-frozen
Marius Bakke
2021-07-29
Merge branch 'master' into core-updates-frozen
Marius Bakke
2021-07-28
gnu: openlibm: Fix cross-compiling.
Jean-Baptiste Volatier
2021-07-28
gnu: openlibm: Update to 0.7.4.
Jean-Baptiste Volatier
2021-07-29
gnu: Add FP16.
Ludovic Courtès
2021-07-29
gnu: Add FXDiv.
Ludovic Courtès
2021-08-10
gnu: dealii-openmpi: Add Trilinos dependency.
Paul A. Patience
2021-08-05
gnu: Add optizelle.
Paul Garlick
2021-08-04
gnu: Add bitwise.
Guix Together
2021-07-26
gnu: gsegrafix: Update to 1.0.7.2.
Tobias Geerinckx-Rice
2021-07-25
gnu: openblas: Use dynamic arch support for aarch64-linux.
Efraim Flashner
2021-07-24
gnu: Use 'search-input-file' when looking for .jar files.
Ludovic Courtès
2021-07-24
gnu: Use 'search-input-file' when looking for executables.
Ludovic Courtès
2021-07-24
gnu: Use 'search-input-file' when searching for Automake files.
Ludovic Courtès
2021-07-23
gnu: gsl: Update to 2.7.
Marius Bakke
2021-07-20
gnu: dealii: Update to 9.3.1 and clean up.
Paul A. Patience
2021-07-19
gnu: Add nomad-optimizer.
Paul A. Patience
2021-07-18
Merge branch 'master' into core-updates
Ludovic Courtès
2021-07-16
gnu: Add blitz.
Ivan Gankevich
2021-07-13
gnu: gmsh: Sort inputs alphabetically.
Efraim Flashner
2021-07-13
gnu: gmsh: Simply downloading source logic.
Efraim Flashner
2021-07-13
gnu: gmsh: Update to 4.8.4.
Paul A. Patience
2021-07-12
gnu: gmsh: Install Python API in standard directory.
Paul Garlick
2021-07-08
gnu: mcrl2: Update to 202106.0.
Jan (janneke) Nieuwenhuizen
2021-07-07
gnu: openblas: Fix building on powerpc64le-linux.
Efraim Flashner
2021-07-07
gnu: openblas: Fix building on armhf-linux.
Efraim Flashner
2021-07-02
gnu: atlas: Extend build time-out.
Tobias Geerinckx-Rice
2021-07-02
gnu: gnuplot: Update to 5.4.2.
Tobias Geerinckx-Rice
2021-06-29
gnu: scotch: Update to 6.1.1.
Ludovic Courtès
[next]