about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2023-09-12Merge pull request #254848 from r-ryantm/auto-update/cbmcMario Rodas1-2/+2
2023-09-13Merge pull request #250922 from natsukium/viennarna/updateOTABI Tomoya1-2/+2
2023-09-13cbmc: 5.90.0 -> 5.91.0R. Ryantm1-2/+2
2023-09-12Update pkgs/applications/science/logic/drat-trim/default.nixWojciech Nawrocki1-1/+1
2023-09-12Merge staging-next into staginggithub-actions[bot]1-2/+2
2023-09-12drat-trim: 2020-06-05 -> 2023-05-22Wojciech Nawrocki1-4/+4
2023-09-12veryfasttree: 4.0.2 -> 4.0.3R. Ryantm1-2/+2
2023-09-12Merge staging-next into staginggithub-actions[bot]3-4/+70
2023-09-11Merge pull request #254499 from marsam/update-elanNick Cao1-3/+5
2023-09-11cvc5: 1.0.7 -> 1.0.8R. Ryantm1-2/+2
2023-09-10Merge staging-next into staginggithub-actions[bot]4-63/+107
2023-09-10Merge pull request #250435 from tobim/pkgs/spdlog-1.12Doron Behar4-63/+107
2023-09-10elan: 2.0.1 -> 3.0.0Mario Rodas1-3/+5
2023-09-10Merge staging-next into staginggithub-actions[bot]1-1/+1
2023-09-09netlistsvg: update meta.homepagePeder Bergebakken Sundt1-1/+1
2023-09-09sage: If docs are not enabled then don't include a doc attributeArtturin1-1/+2
2023-09-09Merge staging-next into staginggithub-actions[bot]1-2/+2
2023-09-09igv: 2.16.1 -> 2.16.2R. Ryantm1-2/+2
2023-09-09Merge staging-next into staginggithub-actions[bot]3-0/+9822
2023-09-08netlistsvg: init at 1.0.2Peder Bergebakken Sundt3-0/+9822
2023-09-08treewide: replace -DCMAKE_BUILD_TYPE in cmakeFlags with cmakeBuildTypeSandro Jäckel6-8/+8
2023-09-06Merge pull request #252203 from r-ryantm/auto-update/workcraftWeijia Wang1-2/+2
2023-09-06mrtrix: unstable-2021-11-25 -> 3.0.4Ben Darwin1-9/+25
2023-09-05Merge pull request #253169 from flokli/xmedcon-cherrypickWeijia Wang1-2/+3
2023-09-05Merge pull request #252357 from GaetanLepage/wolframWeijia Wang1-0/+7
2023-09-05hal-hardware-analyzer: mark as broken on darwinTobias Mayer1-0/+1
2023-09-05Merge pull request #253413 from r-ryantm/auto-update/cytoscapeNick Cao1-2/+2
2023-09-05cytoscape: 3.10.0 -> 3.10.1R. Ryantm1-2/+2
2023-09-05Merge pull request #253204 from r-ryantm/auto-update/gamaWeijia Wang1-2/+2
2023-09-05kissat: 3.0.0 -> 3.1.0R. Ryantm1-2/+2
2023-09-04openroad: unstable-2023-03-31 -> unstable-2023-08-26Tobias Mayer3-63/+100
2023-09-04root: 6.26.10 -> 6.28.06 (#215187)Dmitry Kalinkin1-39/+14
2023-09-04surelog: 1.57 -> 1.73Henner Zeller1-9/+9
2023-09-04uhdm: 1.57 -> 1.73Henner Zeller1-6/+7
2023-09-04flatcam: fix after daf490f1f9b5abd9ef9fe115e4d11a2b55a2ccbdajs1241-2/+2
2023-09-04qucs: removeajs1242-64/+0
2023-09-04qfsm: removeajs1243-68/+0
2023-09-04avogadro: removeajs1241-30/+0
2023-09-04aliza: removeajs1241-60/+0
2023-09-04flatcam: 8.5 -> unstable-2022-02-02ajs1242-80/+74
2023-09-04vite: 1.2pre1543 -> unstable-2022-05-17ajs1241-26/+12
2023-09-04coq_8_18: init at 8.18+rc1Vincent Laporte1-1/+2
2023-09-04cvc5: 1.0.6 → 1.0.7Vincent Laporte1-2/+2
2023-09-04gama: 2.24 -> 2.25R. Ryantm1-2/+2
2023-09-03xmedcon: update project homepageErik Nolf1-1/+1
2023-09-03xmedcon: add wrapGAppsHookErik Nolf1-1/+2
2023-09-03kicad: clean up meta and commentsEvils1-9/+0
2023-09-03kicad: remove kiwi maintainerEvils1-1/+1
2023-09-03kicad.libraries.packages3d: use stepreduce & stepZEvils1-4/+13
2023-09-02Merge pull request #252962 from collares/sage-trac-to-ghMauricio Collares3-6/+6
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-11 09:46:35 +0000