about summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Collapse)AuthorAge
* mcy: 2020.02.05 -> 2020.03.16Austin Seipp2020-03-17
| | | | | | Now with working web UI dashboard -- but no working GUI (yet!) Signed-off-by: Austin Seipp <aseipp@pobox.com>
* symbiyosys: 2020.02.08 -> 2020.02.11Austin Seipp2020-03-17
| | | | Signed-off-by: Austin Seipp <aseipp@pobox.com>
* yosys: 2020.02.25 -> 2020.03.16Austin Seipp2020-03-17
| | | | | | | | - Bump `abc-verifier` (2020.03.05) - Install `yosys-abc` symlink for tool compatbility - Various `yosys` expression cleanups Signed-off-by: Austin Seipp <aseipp@pobox.com>
* kicad: don't build versions with 3d on HydraDmitry Kalinkin2020-03-16
| | | | | | | | | | | | | The hydraPlatforms have to be set on the kicad package itself, that can be checked using: echo ":p { inherit kicad kicad-small kicad-unstable; }" | nix repl ./pkgs/top-level/release.nix This commit disables build of all kicad variants that require downloading packages3d, which currently fail on hydra with the "Output limit exceeded" status. This leaves Hydra with only building the kicad-small, which will allow us to cache the build of kicad-base as well as all libraries except of packages3d.
* snakemake: 5.9.1 -> 5.10.0Dmitry Kalinkin2020-03-14
|
* folding@home: 6.02 -> 7.5.1zimbatm2020-03-14
| | | | | | | | The v7 series is very different. This commit introduces the 3 packages: fahclient, fahcontrol and fahviewer. It also rebuilds the NixOS module to map better with the new client.
* Merge pull request #81611 from r-ryantm/auto-update/RFrederik Rietdijk2020-03-14
|\ | | | | R: 3.6.2 -> 3.6.3
| * R: 3.6.2 -> 3.6.3R. RyanTM2020-03-03
| |
* | qgroundcontrol: Fix buildJosef Kemetmüller2020-03-14
| | | | | | | | | | This silences some warnings to not run into "Log limit exceeded" on hydra.
* | lean: 3.6.1 -> 3.7.0Mario Rodas2020-03-14
| |
* | getdp: 3.0.4 -> 3.3.0wucke132020-03-13
| |
* | verilator: 4.028 -> 4.030R. RyanTM2020-03-12
| |
* | geogebra: 5-0-573-0 -> 5-0-574-0Maximilian Bosch2020-03-12
| |
* | sage: patch for pari 2.11.3Timo Kaufmann2020-03-12
| |
* | pari: backport bug fixTimo Kaufmann2020-03-12
| | | | | | | | https://trac.sagemath.org/ticket/29313#comment:4
* | wxmaxima: 18.02.0 -> 20.02.4 (#82323)xaverdh2020-03-11
| | | | | | | | | | The commit description is 18.02.0 -> 20.02.4, because in the last version bump (1c6a193b3ed36dd08e35a7b0ea1d28b72133d6c6), the version string was changed, but the hash was not. Co-authored-by: Dmitry Kalinkin <dmitry.kalinkin@gmail.com>
* | symmetrica: add timokau to maintainersTimo Kaufmann2020-03-10
| |
* | symmetrica: 2.0 -> 3.0.1Timo Kaufmann2020-03-10
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This switches to the sagemath fork, since the original upstream is no longer maintained and sagemath has effectively maintained symmetrica through patches for a while now. The update fixes one bug in particular that has caused failures in the sagemath test suite: https://github.com/NixOS/nixpkgs/issues/81449 https://trac.sagemath.org/ticket/15312 https://trac.sagemath.org/ticket/29061 Regarding the licensing change: https://gitlab.com/sagemath/symmetrica/-/commit/7cf91b380078a4def28dd6bab2b4607e2346c650
* | Merge pull request #82240 from timokau/sage-docutils-0.15-fixTimo Kaufmann2020-03-10
|\ \ | | | | | | sage: fix test suite with docutils 0.15
| * | sage: fix test suite with docutils 0.15Timo Kaufmann2020-03-10
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The better way to fix this would be to backport the upstream sphinx patch: https://github.com/sphinx-doc/sphinx/commit/faedcc48ccb942b9a7b758b699b30f0d026c0771 Unfortunately it doesn't apply cleanly and isn't worth the effort of backporting. Let's hope we can switch to python3 sage and the recent sphinx version that comes with it before this becomes a problem.
* | | Merge pull request #81950 from r-ryantm/auto-update/pariTimo Kaufmann2020-03-09
|\ \ \ | | | | | | | | pari: 2.11.2 -> 2.11.3
| * | | pari: 2.11.2 -> 2.11.3R. RyanTM2020-03-07
| | | |
* | | | Merge pull request #80719 from mucaho/feature/clingcon_initMichael Raskin2020-03-09
|\ \ \ \ | | | | | | | | | | clingcon: init at 3.3.0
| * | | | clingcon: init at 3.3.0mucaho2020-03-08
| | | | |
* | | | | Merge pull request #81796 from JohnAZoidberg/satallax-gcc9Maximilian Bosch2020-03-08
|\ \ \ \ \ | | | | | | | | | | | | satallax: Fix build with GCC9
| * | | | | satallax: Fix build with GCC9Daniel Schaefer2020-03-05
| | | | | |
* | | | | | Merge pull request #82028 from r-ryantm/auto-update/qalculate-gtkGabriel Ebner2020-03-08
|\ \ \ \ \ \ | | | | | | | | | | | | | | qalculate-gtk: 3.7.0 -> 3.8.0
| * | | | | | qalculate-gtk: 3.7.0 -> 3.8.0R. RyanTM2020-03-08
| | |_|/ / / | |/| | | |
* | | | | | Merge staging-next into masterFrederik Rietdijk2020-03-08
|\ \ \ \ \ \ | |_|_|_|/ / |/| | | | |
| * | | | | Merge staging-next into stagingFrederik Rietdijk2020-03-06
| |\| | | |
| * | | | | Merge branch 'staging-next' into stagingJan Tojnar2020-03-04
| |\ \ \ \ \
| * \ \ \ \ \ Merge staging-next into stagingFrederik Rietdijk2020-02-29
| |\ \ \ \ \ \ | | | |_|_|_|/ | | |/| | | |
| * | | | | | rustPlatform.fetchCargo: handle custom Cargo.lock patchfiles with validationBenjamin Hipple2020-02-28
| | |_|_|/ / | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Previously, we would asssert that the lockfiles are consistent during the unpackPhase, but if the pkg has a patch for the lockfile itself then we must wait until the patchPhase is complete to check. This also removes an implicity dependency on the src attribute coming from `fetchzip` / `fetchFromGitHub`, which happens to name the source directory "source". Now we glob for it, so different fetchers will work consistently.
* | | | | | acgtk: 1.5.0 → 1.5.1 (#81539)Vincent Laporte2020-03-07
| | | | | | | | | | | | | | | | | | Co-authored-by: Jon <jonringer@users.noreply.github.com>
* | | | | | elan: v0.8.0 tag was force-pushed by upstreamGabriel Ebner2020-03-06
| | | | | |
* | | | | | elan: 0.7.5 -> 0.8.0Gabriel Ebner2020-03-06
| | | | | |
* | | | | | js_of_ocaml: 3.4.0 -> 3.5.2 (#75766)Joachim Breitner2020-03-06
| |_|_|/ / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | drive-by contributions, as I was playing around with this (it has better support for the `num` library, it seems.) js_of_ocaml: 3.4.0 -> 3.5.2 ocamlPackages.js_of_ocaml-ppx_deriving_json: use ppxlib-0.12.0 ocamlPackages.eliom: 6.8.0 → 6.10.1 ocamlPackages.ocsigen-toolkit: 2.2.0 → 2.5.0 ocamlPackages.ocsigen-start: 2.7.0 → 2.16.1 Co-authored-by: Vincent Laporte <Vincent.Laporte@gmail.com>
* | | | | Merge pull request #81783 from r-ryantm/auto-update/gmshMario Rodas2020-03-05
|\ \ \ \ \ | | | | | | | | | | | | gmsh: 4.5.2 -> 4.5.4
| * | | | | gmsh: 4.5.2 -> 4.5.4R. RyanTM2020-03-05
| | |_|/ / | |/| | |
* | | | | Merge pull request #81722 from r-ryantm/auto-update/workcraftMario Rodas2020-03-05
|\ \ \ \ \ | | | | | | | | | | | | workcraft: 3.2.5 -> 3.2.6
| * | | | | workcraft: 3.2.5 -> 3.2.6R. RyanTM2020-03-04
| | |_|/ / | |/| | |
* | | | | gromacs: 2020 -> 2020.1R. RyanTM2020-03-04
| |/ / / |/| | |
* | | | Merge pull request #81706 from r-ryantm/auto-update/picard-toolsMario Rodas2020-03-04
|\ \ \ \ | | | | | | | | | | picard-tools: 2.21.8 -> 2.22.0
| * | | | picard-tools: 2.21.8 -> 2.22.0R. RyanTM2020-03-04
| |/ / /
* | | | Merge pull request #81692 from r-ryantm/auto-update/leanGabriel Ebner2020-03-04
|\ \ \ \ | | | | | | | | | | lean: 3.6.0 -> 3.6.1
| * | | | lean: 3.6.0 -> 3.6.1R. RyanTM2020-03-04
| |/ / /
* | | | python3Packages.monosat: Fix hashAiken Cairncross2020-03-03
| | | | | | | | | | | | | | | | PR #81562 inadvertently broke these builds
* | | | Merge pull request #81604 from markuskowa/upd-octopusmarkuskowa2020-03-03
|\ \ \ \ | | | | | | | | | | octopus: 9.1 -> 9.2
| * | | | octopus: 9.1 -> 9.2Markus Kowalewski2020-03-03
| | | | |
* | | | | Merge pull request #80977 from r-ryantm/auto-update/quantum-espressomarkuskowa2020-03-03
|\ \ \ \ \ | |/ / / / |/| | | | quantum-espresso: 6.4.1 -> 6.5