Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2023-11-23 | lean4: fix build on darwin | Mario Rodas | 1 | -0/+5 | |
2023-11-22 | jmol: 16.1.43 -> 16.1.45 | R. Ryantm | 1 | -2/+2 | |
2023-11-22 | gama: 2.26 -> 2.27 | R. Ryantm | 1 | -2/+2 | |
2023-11-23 | Merge pull request #268779 from NixOS/update-xflr5 | Emily Trau | 1 | -6/+5 | |
xflr5: 6.47 -> 6.61 | |||||
2023-11-21 | cadical: 1.8.0 -> 1.9.0 | R. Ryantm | 1 | -2/+2 | |
2023-11-20 | xflr5: 6.47 -> 6.61 | Andreas Rammhold | 1 | -6/+5 | |
This updates to the latest version. Unfortunately the project stopped publishing source tarballs in the way we used to consume them. We've to retrieve a source snapshot from sourceforge's SVN service instead. The alternative would be a subversion checkout which I don't think is any better or worse. | |||||
2023-11-20 | Merge pull request #267114 from katexochen/maintainers/jfrankenau | ajs124 | 3 | -3/+3 | |
maintainers: remove jfrankenau | |||||
2023-11-20 | easycrypt: fix runtest command | Vincent Laporte | 1 | -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-20 | maintainers: remove jfrankenau | Paul Meyer | 3 | -3/+3 | |
due to inactivity. | |||||
2023-11-20 | hol_light: 2023-07-21 → 2023-11-03 | Vincent Laporte | 1 | -4/+6 | |
2023-11-18 | eigenmath: unstable-2023-10-26 -> unstable-2023-11-17 | R. Ryantm | 1 | -3/+3 | |
2023-11-18 | update sources | TelepathicWalrus | 1 | -39/+39 | |
2023-11-17 | treewide: s_targetPlatform_hostPlatform_ in non-compiler packages | Adam Joseph | 1 | -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-17 | eprover: update hash - target modified inplace | annalee | 1 | -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-16 | Merge master into staging-next | github-actions[bot] | 5 | -1/+126 | |
2023-11-16 | kicadAddons.kikit,kicadAddons.kikit-library: init at 1.3.0 | Jeremy Fleischman | 5 | -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-16 | Merge branch 'master' into staging-next | Vladimír Čunát | 3 | -6/+6 | |
2023-11-15 | Merge pull request #267664 from r-ryantm/auto-update/eprover | 7c6f434c | 1 | -2/+2 | |
eprover: 2.6 -> 3.0 | |||||
2023-11-15 | verilator: 5.016 -> 5.018 | Alex Martens | 1 | -2/+2 | |
2023-11-15 | Merge pull request #267679 from r-ryantm/auto-update/picard-tools | Nick Cao | 1 | -2/+2 | |
picard-tools: 3.1.0 -> 3.1.1 | |||||
2023-11-15 | picard-tools: 3.1.0 -> 3.1.1 | R. Ryantm | 1 | -2/+2 | |
2023-11-15 | eprover: 2.6 -> 3.0 | R. Ryantm | 1 | -2/+2 | |
2023-11-15 | Merge branch 'master' into staging-next | Vladimír Čunát | 1 | -4/+5 | |
2023-11-14 | Merge pull request #267372 from cu1ch3n/update-abella | Mario Rodas | 1 | -4/+5 | |
abella: 2.0.7 -> 2.0.8 | |||||
2023-11-14 | Merge master into staging-next | github-actions[bot] | 1 | -2/+9 | |
2023-11-14 | treewide: make 'gpuBackend' use 'config.(cuda|rocm)Support' | Madoura | 1 | -2/+9 | |
2023-11-14 | abella: 2.0.7 -> 2.0.8 | Chen | 1 | -4/+5 | |
2023-11-14 | Merge master into staging-next | github-actions[bot] | 1 | -2/+2 | |
2023-11-13 | Merge pull request #266008 from r-ryantm/auto-update/dsview | Pascal Bach | 1 | -2/+2 | |
dsview: 1.3.0 -> 1.3.1 | |||||
2023-11-13 | Merge remote-tracking branch 'origin/master' into staging-next | Fabián Heredia Montiel | 2 | -3/+9 | |
2023-11-13 | Merge pull request #266273 from evils/xnec2c | Artturi | 1 | -1/+7 | |
2023-11-13 | magic-vlsi: 8.3.446 -> 8.3.447 | Uri Shaked | 1 | -2/+2 | |
2023-11-12 | Merge branch 'master' into staging-next | Weijia Wang | 2 | -16/+2 | |
2023-11-12 | magic-vlsi: 8.3.277 -> 8.3.446 | Uri Shaked | 2 | -16/+2 | |
2023-11-12 | Merge master into staging-next | github-actions[bot] | 1 | -10/+17 | |
2023-11-12 | Merge pull request #266486 from Luflosi/update/yosys | Pierre Bourdon | 1 | -10/+17 | |
yosys: 0.34 -> 0.35 | |||||
2023-11-11 | Merge master into staging-next | github-actions[bot] | 6 | -10/+10 | |
2023-11-11 | treewide: fix redirected and broken URLs | Anthony Roussel | 6 | -10/+10 | |
Using the script in maintainers/scripts/update-redirected-urls.sh | |||||
2023-11-10 | Merge branch 'master' into staging-next | Weijia Wang | 1 | -2/+2 | |
2023-11-10 | Merge pull request #264760 from r-ryantm/auto-update/R | 7c6f434c | 1 | -2/+2 | |
R: 4.3.1 -> 4.3.2 | |||||
2023-11-10 | Merge remote-tracking branch 'origin/master' into HEAD | Alyssa Ross | 1 | -2/+5 | |
Conflicts: pkgs/development/libraries/SDL2/default.nix | |||||
2023-11-10 | snakemake: 7.29.0 -> 7.32.4 (#266543) | Renato Garcia | 1 | -2/+5 | |
2023-11-10 | Merge master into staging-next | github-actions[bot] | 2 | -0/+20 | |
2023-11-09 | root5: Fix build with Python 3.11 | Silvan Mosberger | 2 | -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-09 | Merge master into staging-next | github-actions[bot] | 1 | -2/+2 | |
2023-11-09 | bedtools: 2.31.0 -> 2.31.1 | R. Ryantm | 1 | -2/+2 | |
2023-11-08 | abc-verifier: unstable-2023-09-13 -> unstable-2023-10-13 | Luflosi | 1 | -3/+3 | |
2023-11-08 | abc-verifier: cleanup | Luflosi | 1 | -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-08 | abc-verifier: add Luflosi as maintainer | Luflosi | 1 | -1/+1 | |
2023-11-08 | xnec2c: add wrapGAppsHook | Evils | 1 | -1/+7 | |