about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2022-09-20Merge pull request #191896 from r-ryantm/auto-update/mavproxyJonas Heinrich1-2/+2
2022-09-19mavproxy: 1.8.55 -> 1.8.56R. Ryantm1-2/+2
2022-09-18sasview: fix buildAnthony Roussel1-0/+10
2022-09-18Merge pull request #191509 from r-ryantm/auto-update/fast-downwardsuperherointj1-2/+2
2022-09-18Merge pull request #189919 from r-ryantm/auto-update/gamaChristian Kögler1-2/+2
2022-09-18Merge pull request #189923 from r-ryantm/auto-update/igvChristian Kögler1-2/+2
2022-09-18ocamlPackages.cmdliner: default to 1.1Vincent Laporte2-2/+2
2022-09-18mathematica: 13.0.1 -> 13.1.0Guanpeng Xu2-0/+11
2022-09-17Merge pull request #191483 from vbgl/why3-1.5.1Christian Kögler1-2/+2
2022-09-17Merge pull request #191611 from r-ryantm/auto-update/clingo7c6f434c1-2/+2
2022-09-17nanovna-saver: 0.5.2 -> 0.5.3R. Ryantm1-2/+2
2022-09-17clingo: 5.6.0 -> 5.6.1R. Ryantm1-2/+2
2022-09-16fast-downward: 22.06.0 -> 22.06.1R. Ryantm1-2/+2
2022-09-16why3: 1.5.0 → 1.5.1Vincent Laporte1-2/+2
2022-09-16Merge pull request #191403 from r-ryantm/auto-update/messer-slimJonas Heinrich1-2/+2
2022-09-16Merge pull request #189206 from wegank/scilab-bin-darwinSandro1-29/+42
2022-09-16scilab-bin: add darwin supportWeijia Wang1-29/+42
2022-09-15messer-slim: 4.0 -> 4.0.1R. Ryantm1-2/+2
2022-09-15why3: use why3.version in withProversBouke van der Bijl1-0/+1
2022-09-15Merge pull request #188924 from McSinyx/klee-llvmK9002-12/+9
2022-09-14cbmc: 5.65.0 -> 5.65.1R. Ryantm1-2/+2
2022-09-13Merge pull request #190919 from r-ryantm/auto-update/clingo7c6f434c1-2/+2
2022-09-13elan: 1.4.1 -> 1.4.2Gabriel Ebner1-3/+3
2022-09-12nanovna-saver: 0.5.1 -> 0.5.2R. Ryantm1-2/+2
2022-09-12Merge pull request #190892 from r-ryantm/auto-update/jmolTimo Kaufmann1-2/+2
2022-09-12clingo: 5.5.2 -> 5.6.0R. Ryantm1-2/+2
2022-09-12jmol: 14.32.73 -> 14.32.74R. Ryantm1-2/+2
2022-09-11Merge pull request #186868 from lopsided98/mavproxy-updateSandro1-3/+5
2022-09-11sasview: remove unused inputSandro Jäckel1-1/+0
2022-09-10Merge pull request #185819 from apraga/gatk-4.2.6.1Sandro1-0/+38
2022-09-10Merge pull request #190317 from r-ryantm/auto-update/nanovna-saverChristian Kögler1-3/+3
2022-09-10nanovna-saver: 0.4.0 -> 0.5.1R. Ryantm1-3/+3
2022-09-10Merge pull request #189758 from tjni/r-stackprotectorSandro1-5/+0
2022-09-09Merge pull request #190430 from natsukium/mafft/updateMario Rodas1-5/+7
2022-09-09Merge pull request #190382 from 4825764518/qalculate-qt-4.3.0Jonas Heinrich1-2/+2
2022-09-09acgtk: 1.5.2 → 1.5.4Vincent Laporte1-6/+9
2022-09-09mafft: 7.505 -> 7.508natsukium1-5/+7
2022-09-08Merge pull request #189926 from veprbl/pr/root_rip_via_setup_hookDmitry Kalinkin1-0/+6
2022-09-08qalculate-qt: 4.2.0 -> 4.3.048257645181-2/+2
2022-09-08qalculate-qt: init at 4.2.048257645181-0/+24
2022-09-08snakemake: 7.12.1 -> 7.14.0R. Ryantm1-2/+2
2022-09-07Merge pull request #190087 from victormignot/systemcJonas Heinrich1-0/+18
2022-09-07Merge pull request #189784 from collares/singular-431p27c6f434c1-4/+5
2022-09-07Merge pull request #189997 from r-ryantm/auto-update/coq_8_16Théo Zimmermann1-1/+1
2022-09-07systemc: Init at 2.3.3Victor Mignot1-0/+18
2022-09-06Merge pull request #189339 from r-ryantm/auto-update/jmolChristian Kögler1-2/+2
2022-09-06Merge pull request #184457 from r-ryantm/auto-update/polymakeTimo Kaufmann1-2/+2
2022-09-06Merge pull request #189776 from collares/sage-docindexTimo Kaufmann2-0/+25
2022-09-06coq_8_16: 8.16+rc1 -> 8.16.0R. Ryantm1-1/+1
2022-09-05root: populate ROOT_INCLUDE_PATH via the setupHookDmitry Kalinkin1-0/+6
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-09 14:17:00 +0000