about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Collapse)AuthorFilesLines
2021-05-08gnome: rename from gnome3Jan Tojnar3-6/+6
Since GNOME version is now 40, it no longer makes sense to use the old attribute name.
2021-05-07Merge branch 'master' into haskell-updatesMalte Brandy2-7/+10
2021-05-07Merge pull request #121896 from raboof/extract-version-test-to-utilityRobert Hensing1-5/+8
test-utilities: version test
2021-05-07test-utilities: version testArnout Engelen1-5/+8
Extract 'version test' to a reusable test utility as discussed in https://github.com/NixOS/nixpkgs/pull/119636#issuecomment-826137021 and
2021-05-06petrinizer: restrict platforms by sbvsternenseemann1-0/+1
sbv has the most limited range of platforms of the dependencies.
2021-05-06petrinizer: fix buildsternenseemann3-58/+4
* take z3 haskell package from haskellPackages * take sbv 7.13 from haskellPackages, apply patch fixing build with GHC >= 8.8.8
2021-05-05gmsh: 4.8.3 -> 4.8.4R. RyanTM1-2/+2
2021-05-03Merge pull request #121411 from veprbl/pr/xfitter_darwin_fixDmitry Kalinkin1-3/+4
xfitter: fix for darwin
2021-05-03Merge pull request #121375 from deviant/bump-rinkedef1-3/+3
rink: 0.6.0 -> 0.6.1
2021-05-03Merge pull request #121361 from r-ryantm/auto-update/leanGabriel Ebner1-2/+2
lean: 3.29.0 -> 3.30.0
2021-05-02dcm2niix: 1.0.20201102 -> 1.0.20210317Luke Granger-Brown1-2/+2
2021-05-02dcm2niix: 1.0.20200331 -> 1.0.20201102R. RyanTM1-2/+2
2021-05-02sumorobot-manager: fix compilationLuke Granger-Brown1-2/+3
2021-05-02sumorobot-manager: 0.9.0 -> 1.0.0R. RyanTM1-3/+3
2021-05-01xfitter: fix for darwinDmitry Kalinkin1-3/+4
Fixes: 8984fc29 ('xfitter: fix build w/glibc-2.32')
2021-05-01Merge pull request #120613 from erikbackman/masterSandro1-0/+53
2021-05-01rink: 0.6.0 -> 0.6.1V1-3/+3
2021-05-01lean: 3.29.0 -> 3.30.0R. RyanTM1-2/+2
2021-04-30Merge pull request #117716 from idontgetoutmuch/masterMichael Raskin1-0/+1
Fix https://github.com/NixOS/nixpkgs/issues/117715
2021-04-29Incorporate suggeston by collaresDominic Steinitz1-1/+1
2021-04-29jmol: 14.31.35 -> 14.31.36R. RyanTM1-2/+2
2021-04-29gmsh: 4.8.1 -> 4.8.3R. RyanTM1-2/+2
2021-04-29elan: 1.0.0 -> 1.0.2R. RyanTM1-3/+3
2021-04-27Merge pull request #120177 from r-ryantm/auto-update/elanGabriel Ebner1-5/+5
elan: 0.11.0 -> 1.0.0
2021-04-27elan: 0.11.0 -> 1.0.0R. RyanTM1-5/+5
2021-04-27Merge pull request #120822 from r-ryantm/auto-update/leanGabriel Ebner1-2/+2
lean: 3.28.0 -> 3.29.0
2021-04-27(numworks-epsilon): init at 15.3.2erikbackman1-0/+53
2021-04-27lean: 3.28.0 -> 3.29.0R. RyanTM1-2/+2
2021-04-26alt-ergo: 2.3.3 → 2.4.0Vincent Laporte1-6/+11
2021-04-26tetgen: 1.5.1 -> 1.6.0R. RyanTM1-2/+2
2021-04-25sage: remove cypari2 overrideMauricio Collares1-8/+0
This reverts commit c12ef05bda5bf3d31918ee97d717cd3221926e8c.
2021-04-25Merge pull request #116365 from omasanori/sage-9.3Michael Raskin19-461/+648
sage: 9.2 -> 9.3
2021-04-25qalculate-gtk: 3.17.0 -> 3.18.0Eduardo Sánchez Muñoz1-2/+2
2021-04-23Merge remote-tracking branch 'nixpkgs/master' into staging-nextAlyssa Ross1-2/+2
Conflicts: pkgs/development/python-modules/pyvex/default.nix pkgs/top-level/python-packages.nix
2021-04-23Merge pull request #120168 from r-ryantm/auto-update/clingoMichael Raskin1-2/+2
clingo: 5.4.1 -> 5.5.0
2021-04-23Merge master into staging-nextgithub-actions[bot]1-2/+2
2021-04-22clingo: 5.4.1 -> 5.5.0R. RyanTM1-2/+2
2021-04-22calc: 2.12.9.1 -> 2.13.0.1R. RyanTM1-2/+2
2021-04-22sage: 9.2 -> 9.3.rc4Masanori Ogino9-243/+116
Co-authored-by: Mauricio Collares <mauricio@collares.org>
2021-04-22eclib: 20210223 -> 20190909Mauricio Collares2-134/+0
This reverts commits 003705ef0835d9b0db805a384b749172dfdca022 and ef615b5a61c049317da5ed5637e4561b224dd66d.
2021-04-22sage: use threejs forkGaraba Flórián4-21/+22
2021-04-22singular: disable vspace on aarch64Mauricio Collares2-0/+18
2021-04-22singular: use older autoconf macro to unbreak aarch64Mauricio Collares2-0/+200
2021-04-22singular: import aarch64 support patchMauricio Collares2-3/+44
2021-04-22singular: 4.1.1p2 -> 4.2.0p2Timo Kaufmann2-33/+220
Adds proper tests. Also removes the "enableFactory" option because singular actually enables factory by default and explicitly disabling it breaks the build. So the option was never really available.
2021-04-22pynac: 0.7.26 -> 0.7.27Mauricio Collares1-11/+23
2021-04-22gap: 4.10.2 -> 4.11.0Mauricio Collares1-21/+10
2021-04-21Merge master into staging-nextgithub-actions[bot]2-5/+16
2021-04-21Merge pull request #119055 from eduardosm/kicadSandro1-1/+12
2021-04-20Merge pull request #119682 from marsam/update-belugaMario Rodas1-4/+4
beluga: 2020-03-11 -> 1.0