about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
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
2022-09-05Merge pull request #189871 from r-ryantm/auto-update/gromacsmarkuskowa1-2/+2
2022-09-05sageWithDoc: fix documentation indexMauricio Collares2-0/+25
2022-09-05gromacs: 2022.2 -> 2022.3R. Ryantm1-2/+2
2022-09-05Merge pull request #189329 from bcdarwin/itk4-removalSandro2-15/+7
2022-09-05Merge pull request #181954 from bzizou/treemixSandro1-0/+27
2022-09-05treemix: init at 1.13Bruno Bzeznik1-0/+27
2022-09-04singular: disable docbuilding on darwinMauricio Collares1-1/+1
2022-09-04singular: 4.3.1 -> 4.3.1p2Mauricio Collares1-3/+4
2022-09-04Merge pull request #175449 from bzizou/iqtreeJonas Heinrich1-0/+32
2022-09-04Merge pull request #179257 from mrbitt/masterJonas Heinrich1-4/+4
2022-09-04R: reenable stackprotector on aarch64-darwinTheodore Ni1-5/+0
2022-09-04EZminc: itk4 -> itk (formally; package is broken)Ben Darwin1-2/+2
2022-09-04ants: 2.2.0 -> 2.4.1Ben Darwin1-13/+5
2022-09-04Merge pull request #188855 from risicle/ris-hal-fmt-8.0.1-overrideSandro1-5/+35
2022-09-04uarmsolver: init at 0.2.4 (#188274)Iztok Fister Jr1-0/+31
2022-09-04Merge pull request #189426 from kilianar/cadical-1.5.0Christian Kögler1-2/+2
2022-09-04Merge pull request #188785 from jbedo/lastJonas Heinrich1-2/+2
2022-09-04Merge pull request #187023 from panicgh/dataexplorerSandro1-0/+67
2022-09-04dataexplorer: init at 3.6.2Nicolas Benes1-0/+67
2022-09-04Merge pull request #189430 from r-ryantm/auto-update/cbmcBobby Rong1-2/+2
2022-09-04last: 1406 -> 1409Justin Bedo1-2/+2
2022-09-03Merge pull request #177830 from r-ryantm/auto-update/eggnog-mapperSandro1-3/+3
2022-09-03Merge pull request #189576 from r-ryantm/auto-update/mavproxyJörg Thalheim1-3/+4
2022-09-03mavproxy: add missing opencv dependencyJörg Thalheim1-1/+2
2022-09-03Merge pull request #189414 from kilianar/kissat-3.0.0Robert Scott1-4/+3
2022-09-03mavproxy: 1.8.52 -> 1.8.55R. Ryantm1-2/+2
2022-09-02Merge pull request #188650 from movingco/add-z3-411Robert Scott1-0/+4
2022-09-02cbmc: 5.64.0 -> 5.65.0R. Ryantm1-2/+2
2022-09-02cadical: 1.4.1 -> 1.5.0kilianar1-2/+2
2022-09-02kissat: 2.0.1 -> 3.0.0kilianar1-4/+3