summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2023-11-20Merge pull request #267114 from katexochen/maintainers/jfrankenauajs1243-3/+3
2023-11-20easycrypt: fix runtest commandVincent Laporte1-1/+5
2023-11-20maintainers: remove jfrankenauPaul Meyer3-3/+3
2023-11-20hol_light: 2023-07-21 → 2023-11-03Vincent Laporte1-4/+6
2023-11-18eigenmath: unstable-2023-10-26 -> unstable-2023-11-17R. Ryantm1-3/+3
2023-11-18update sourcesTelepathicWalrus1-39/+39
2023-11-17treewide: s_targetPlatform_hostPlatform_ in non-compiler packagesAdam Joseph1-1/+1
2023-11-17eprover: update hash - target modified inplaceannalee1-1/+1
2023-11-16Merge master into staging-nextgithub-actions[bot]5-1/+126
2023-11-16kicadAddons.kikit,kicadAddons.kikit-library: init at 1.3.0Jeremy Fleischman5-1/+126
2023-11-16Merge branch 'master' into staging-nextVladimír Čunát3-6/+6
2023-11-15Merge pull request #267664 from r-ryantm/auto-update/eprover7c6f434c1-2/+2
2023-11-15verilator: 5.016 -> 5.018Alex Martens1-2/+2
2023-11-15Merge pull request #267679 from r-ryantm/auto-update/picard-toolsNick Cao1-2/+2
2023-11-15picard-tools: 3.1.0 -> 3.1.1R. Ryantm1-2/+2
2023-11-15eprover: 2.6 -> 3.0R. Ryantm1-2/+2
2023-11-15Merge branch 'master' into staging-nextVladimír Čunát1-4/+5
2023-11-14Merge pull request #267372 from cu1ch3n/update-abellaMario Rodas1-4/+5
2023-11-14Merge master into staging-nextgithub-actions[bot]1-2/+9
2023-11-14treewide: make 'gpuBackend' use 'config.(cuda|rocm)Support'Madoura1-2/+9
2023-11-14abella: 2.0.7 -> 2.0.8Chen1-4/+5
2023-11-14Merge master into staging-nextgithub-actions[bot]1-2/+2
2023-11-13Merge pull request #266008 from r-ryantm/auto-update/dsviewPascal Bach1-2/+2
2023-11-13Merge remote-tracking branch 'origin/master' into staging-nextFabián Heredia Montiel2-3/+9
2023-11-13Merge pull request #266273 from evils/xnec2cArtturi1-1/+7
2023-11-13magic-vlsi: 8.3.446 -> 8.3.447Uri Shaked1-2/+2
2023-11-12Merge branch 'master' into staging-nextWeijia Wang2-16/+2
2023-11-12magic-vlsi: 8.3.277 -> 8.3.446Uri Shaked2-16/+2
2023-11-12Merge master into staging-nextgithub-actions[bot]1-10/+17
2023-11-12Merge pull request #266486 from Luflosi/update/yosysPierre Bourdon1-10/+17
2023-11-11Merge master into staging-nextgithub-actions[bot]6-10/+10
2023-11-11treewide: fix redirected and broken URLsAnthony Roussel6-10/+10
2023-11-10Merge branch 'master' into staging-nextWeijia Wang1-2/+2
2023-11-10Merge pull request #264760 from r-ryantm/auto-update/R7c6f434c1-2/+2
2023-11-10Merge remote-tracking branch 'origin/master' into HEADAlyssa Ross1-2/+5
2023-11-10snakemake: 7.29.0 -> 7.32.4 (#266543)Renato Garcia1-2/+5
2023-11-10Merge master into staging-nextgithub-actions[bot]2-0/+20
2023-11-09root5: Fix build with Python 3.11Silvan Mosberger2-0/+20
2023-11-09Merge master into staging-nextgithub-actions[bot]1-2/+2
2023-11-09bedtools: 2.31.0 -> 2.31.1R. Ryantm1-2/+2
2023-11-08abc-verifier: unstable-2023-09-13 -> unstable-2023-10-13Luflosi1-3/+3
2023-11-08abc-verifier: cleanupLuflosi1-6/+13
2023-11-08abc-verifier: add Luflosi as maintainerLuflosi1-1/+1
2023-11-08xnec2c: add wrapGAppsHookEvils1-1/+7
2023-11-08Merge master into staging-nextgithub-actions[bot]1-1/+3
2023-11-08Merge pull request #266136 from wegank/stellarium-fixWeijia Wang1-1/+3
2023-11-08Merge branch 'master' into staging-nextAdam Joseph3-4/+4
2023-11-08Merge pull request #264872 from r-ryantm/auto-update/lastJustin Bedő1-2/+2
2023-11-08Merge pull request #265764 from amjoseph-nixpkgs/pr/pythonForBuildArtturi2-2/+2
2023-11-07stellarium: fix versionWeijia Wang1-1/+3
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-01 11:41:17 +0000