summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Collapse)AuthorFilesLines
2023-11-20Merge pull request #267114 from katexochen/maintainers/jfrankenauajs1243-3/+3
maintainers: remove jfrankenau
2023-11-20easycrypt: fix runtest commandVincent Laporte1-1/+5
The `ec-runtest` program is still available as a separate easycrypt-runtest package, but the `easycrypt runtest` command now also works out-of-the-box.
2023-11-20maintainers: remove jfrankenauPaul Meyer3-3/+3
due to inactivity.
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
stdenv.targetPlatform really shouldn't be used by software that doesn't generate or manipulate binaries. I reviewed all uses of targetPlatform outside of pkgs/development/compilers and pkgs/stdenv and replaced those which weren't involved in something which fits these criteria.
2023-11-17eprover: update hash - target modified inplaceannalee1-1/+1
the last commit was Wed Nov 15 13:09:21 2023 +0000 but the target, E.tgz was modified at 2023-11-15 23:29 (assuming utc) https://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_3.0/
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
Create a new kicadAddons package set, and a mechanism to override kicad to bundle addons. Co-authored-by: Rohit <rohitsutradhar311@gmail.com> Co-authored-by: Jeremy Fleischman <jeremyfleischman@gmail.com> Co-authored-by: Shahar "Dawn" Or <mightyiampresence@gmail.com> Co-authored-by: Alejandro Sanchez Medina <alejandrosanchzmedina@gmail.com> Co-authored-by: Matúš Ferech <matus.ferech@gmail.com>
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
eprover: 2.6 -> 3.0
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
picard-tools: 3.1.0 -> 3.1.1
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
abella: 2.0.7 -> 2.0.8
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
dsview: 1.3.0 -> 1.3.1
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
yosys: 0.34 -> 0.35
2023-11-11Merge master into staging-nextgithub-actions[bot]6-10/+10
2023-11-11treewide: fix redirected and broken URLsAnthony Roussel6-10/+10
Using the script in maintainers/scripts/update-redirected-urls.sh
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
R: 4.3.1 -> 4.3.2
2023-11-10Merge remote-tracking branch 'origin/master' into HEADAlyssa Ross1-2/+5
Conflicts: pkgs/development/libraries/SDL2/default.nix
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
Was broken since the Python update from https://github.com/NixOS/nixpkgs/pull/251878 This should fix the apfelgrid and applgrid builds, not tested yet
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
- Move each function argument into its own line - Use `finalAttrs` instead of the `rec` keyword to properly handle overriding - Run the `preInstall` and `postInstall` hooks in the `installPhase` - Use `install` instead of `mkdir -p` and `mv` to be more concise
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
stellarium: fix version
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
last: 1471 -> 1499
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-03 10:53:27 +0000