summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* sage: update test expectationsMauricio Collares2022-04-21
* giac: 1.6.0-47 -> 1.9.0-5Mauricio Collares2022-04-21
* isabelle: Make closer to upstreamJan van Brügge2022-04-20
* naproche: 0.1.0.0 -> 2022-04-19Jan van Brügge2022-04-20
* Merge pull request #168973 from veprbl/pr/root5_glibc_fixveprbl2022-04-19
|\
| * root5: fix for glibcDmitry Kalinkin2022-04-16
* | Merge pull request #165341 from r-ryantm/auto-update/verilatorajs1242022-04-19
|\ \
| * | verilator: 4.218 -> 4.220R. Ryantm2022-03-22
* | | Merge pull request #168969 from SuperSandro2000/staging-next-sandroSandro2022-04-17
|\ \ \
| * | | fast-downward: substitute version, fix buildInputs, minor cleanupSandro Jäckel2022-04-16
* | | | Merge remote-tracking branch 'origin/master' into staging-nextMartin Weinelt2022-04-16
|\ \ \ \ | |/ / / |/| | / | | |/ | |/|
| * | Merge pull request #168733 from veprbl/pr/xfitter_2_2_0veprbl2022-04-16
| |\ \
| | * | xfitter: 2.0.1 -> 2.2.0Dmitry Kalinkin2022-04-15
* | | | fityk: add `-std=c++11` flag for gcc11 and laterFabián Heredia Montiel2022-04-16
* | | | fast-downward: 19.12 → 21.12.0Fabián Heredia Montiel2022-04-16
* | | | cmtk: add `-std=c++11` to fix build on gcc11Fabián Heredia Montiel2022-04-15
* | | | Merge remote-tracking branch 'origin/master' into staging-nextMartin Weinelt2022-04-15
|\| | |
| * | | Merge pull request #166865 from malob/treewide-mainProgramLassulus2022-04-15
| |\ \ \ | | |/ / | |/| |
| | * | treewide: add meta.mainProgram to many packagesMalo Bourgon2022-04-14
* | | | Merge branch 'staging-next' into stagingVladimír Čunát2022-04-14
|\| | |
| * | | elan: 1.3.1 -> 1.4.0R. Ryantm2022-04-13
| |/ /
| * | abc-verifier: 2022.03.04 -> 2022.03.22Luflosi2022-04-12
| * | Merge pull request #162172 from grnnja/init-jflapLassulus2022-04-12
| |\ \
| | * | jflap: init at 7.1grnnja2022-02-28
| * | | Merge pull request #164699 from r-ryantm/auto-update/mavproxyajs1242022-04-11
| |\ \ \
| | * | | mavproxy: 1.8.46 -> 1.8.48R. Ryantm2022-03-18
| * | | | Merge pull request #166909 from fedeinthemix/wolfram-engine-2Sandro2022-04-11
| |\ \ \ \
| | * | | | wolfram-for-jupyter-kernel: init at 0.9.2Federico Beffa2022-04-11
| | * | | | wolfram-engine: init at 13.0.1Federico Beffa2022-04-11
| * | | | | Merge pull request #167729 from yuuyins/brmodeloSandro2022-04-10
| |\ \ \ \ \
| | * | | | | brmodelo: init at 3.31yuu2022-04-08
| * | | | | | Merge pull request #168132 from r-ryantm/auto-update/calcFabian Affolter2022-04-10
| |\ \ \ \ \ \
| | * | | | | | calc: 2.14.0.14 -> 2.14.1.0R. Ryantm2022-04-10
* | | | | | | | Merge staging-next into staginggithub-actions[bot]2022-04-10
|\| | | | | | |
| * | | | | | | Merge pull request #168130 from alyaeanyx/qalculate-gtk-4.1.1Doron Behar2022-04-10
| |\ \ \ \ \ \ \
| | * | | | | | | qalculate-gtk: 4.1.0 -> 4.1.1alyaeanyx2022-04-10
| * | | | | | | | Merge pull request #162300 from r-ryantm/auto-update/cwltoolLassulus2022-04-10
| |\ \ \ \ \ \ \ \
| | * | | | | | | | cwltool: 3.1.20220221074232 -> 3.1.20220224085855R. Ryantm2022-03-01
* | | | | | | | | | Merge branch 'staging-next' into stagingVladimír Čunát2022-04-10
|\| | | | | | | | |
| * | | | | | | | | Merge pull request #164722 from armeenm/bump-eggnog-mapperArtturi2022-04-10
| |\ \ \ \ \ \ \ \ \
| | * | | | | | | | | eggnog-mapper: 1.0.3 -> 2.1.7Armeen Mahdian2022-03-18
| * | | | | | | | | | xmedcon: 0.21.2 -> 0.22.0R. Ryantm2022-04-10
| | |_|_|/ / / / / / | |/| | | | | | | |
* | | | | | | | | | Merge staging-next into staginggithub-actions[bot]2022-04-10
|\| | | | | | | | |
| * | | | | | | | | Merge pull request #166740 from shadaj/init-cvc5-symfpuThiago Kenji Okada2022-04-09
| |\ \ \ \ \ \ \ \ \
| | * | | | | | | | | cvc5: init at 1.0.0Shadaj Laddad2022-04-06
| | * | | | | | | | | symfpu: init at unstable-2019-05-17Shadaj Laddad2022-04-04
| | | |_|_|_|/ / / / | | |/| | | | | | |
* | | | | | | | | | Merge staging-next into staginggithub-actions[bot]2022-04-09
|\| | | | | | | | |
| * | | | | | | | | cudaPackages: overhaul of how we package cuda packagesFrederik Rietdijk2022-04-09
| | |_|_|/ / / / / | |/| | | | | | |
* | | | | | | | | Merge staging-next into staginggithub-actions[bot]2022-04-08
|\| | | | | | | |
| * | | | | | | | Merge pull request #167679 from collares/sage-networkx27Artturi2022-04-07
| |\ \ \ \ \ \ \ \ | | |_|_|_|/ / / / | |/| | | | | | |