Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2024-04-06 | Merge staging-next into staging | github-actions[bot] | 1 | -1/+1 | |
2024-04-05 | Merge pull request #301704 from a-n-n-a-l-e-e/throw-unsupported-src | a-n-n-a-l-e-e | 1 | -1/+1 | |
treewide: throw on unsupported system src access | |||||
2024-04-05 | Merge staging-next into staging | github-actions[bot] | 4 | -41/+101 | |
2024-04-05 | Merge pull request #301348 from symphorien/update_bitwuzla | Weijia Wang | 4 | -41/+101 | |
bitwuzla: unstable-2022-10-03 -> 0.4.0 | |||||
2024-04-05 | Merge staging-next into staging | github-actions[bot] | 1 | -1/+1 | |
2024-04-05 | Merge pull request #300817 from quentinmit/kicad-license | Aleksana | 1 | -1/+1 | |
kicad: fix license | |||||
2024-04-05 | treewide: throw on unsupported system src access | annalee | 1 | -1/+1 | |
2024-04-04 | minimap2: 2.27 -> 2.28 | R. Ryantm | 1 | -2/+2 | |
2024-04-04 | Merge staging-next into staging | github-actions[bot] | 1 | -2/+2 | |
2024-04-04 | Merge pull request #301208 from marsam/update-lean4 | Mario Rodas | 1 | -2/+2 | |
lean4: 4.6.1 -> 4.7.0 | |||||
2024-04-04 | Merge staging-next into staging | github-actions[bot] | 1 | -4/+3 | |
2024-04-03 | librepcb: 1.0.0 -> 1.1.0 | Luz | 1 | -4/+3 | |
2024-04-03 | Merge staging-next into staging | github-actions[bot] | 1 | -7/+5 | |
2024-04-03 | kstars: 3.6.9 -> 3.7.0 + fixing build failure | Bruno Bzeznik | 1 | -7/+5 | |
2024-04-03 | bitwuzla: test on aarch64-linux | Guillaume Girol | 1 | -2/+2 | |
2024-04-03 | bitwuzla: fix on aarch64-linux | Guillaume Girol | 1 | -0/+10 | |
2024-04-03 | bitwuzla: fix build with doCheck = false | Guillaume Girol | 1 | -8/+14 | |
2024-04-03 | cryptominisat: fix static build | Guillaume Girol | 1 | -2/+8 | |
2024-04-03 | cadical: fix static build | Guillaume Girol | 1 | -0/+5 | |
2024-04-03 | bitwuzla: unstable-2022-10-03 -> 0.4.0 | Guillaume Girol | 1 | -27/+13 | |
lingeling, picosat and minisat are no longer dependencies | |||||
2024-04-03 | symfpu: install headers in $out/include, add a pkg-config file | Guillaume Girol | 1 | -3/+26 | |
bitwuzla switched to meson, and I found no other way to have meson find symfpu | |||||
2024-04-03 | cadical: add pkg-config file | Guillaume Girol | 1 | -1/+25 | |
bitwuzla switched to meson, and I was not able to tell meson how to tell where cadical is located without a pkg-config file | |||||
2024-04-03 | lean4: 4.6.1 -> 4.7.0 | Mario Rodas | 1 | -2/+2 | |
Diff: https://github.com/leanprover/lean4/compare/v4.6.1...v4.7.0 Changelog: https://github.com/leanprover/lean4/blob/v4.7.0/RELEASES.md | |||||
2024-04-03 | nvc: gate elfutils on package availability rather than isLinux | Philip Taron | 1 | -1/+1 | |
2024-04-02 | Merge remote-tracking branch 'upstream/staging-next' into staging | annalee | 1 | -0/+7 | |
Conflicts: pkgs/development/python-modules/colorcet/default.nix | |||||
2024-04-02 | Merge pull request #300930 from collares/sage-quaternionalgebra | Mauricio Collares | 1 | -0/+7 | |
sage: work around QuaternionAlgebra random test failure | |||||
2024-04-02 | sage: work around QuaternionAlgebra random test failure | Mauricio Collares | 1 | -0/+7 | |
2024-04-01 | kicad: fix license | Quentin Smith | 1 | -1/+1 | |
KiCad has been under the GPL (not AGPL) since 6.0.0. https://github.com/KiCad/kicad-source-mirror/commit/4ef02fd699ee6b2b03dfdfdf4e7297b09051e801 https://www.kicad.org/about/licenses/ | |||||
2024-04-02 | Merge staging-next into staging | github-actions[bot] | 1 | -2/+4 | |
2024-04-02 | Merge pull request #300290 from NixOS/colmap-autoadd | Weijia Wang | 1 | -2/+4 | |
colmap: use pkgs.autoAddDriverRunpath | |||||
2024-04-01 | boinc: 7.24.3 -> 8.0.1 | R. Ryantm | 1 | -2/+2 | |
2024-04-01 | colmap: use pkgs.autoAddDriverRunpath | Jonathan Ringer | 1 | -2/+4 | |
2024-04-01 | Merge staging-next into staging | github-actions[bot] | 3 | -7/+7 | |
2024-04-01 | Merge pull request #276432 from r-ryantm/auto-update/surelog | Weijia Wang | 1 | -2/+2 | |
surelog: 1.80 -> 1.82 | |||||
2024-04-01 | Merge pull request #297595 from r-ryantm/auto-update/uhdm | Weijia Wang | 1 | -2/+2 | |
uhdm: 1.80 -> 1.82 | |||||
2024-03-31 | Merge pull request #299968 from wegank/gurobi-bump | Weijia Wang | 1 | -3/+3 | |
gurobi, python312Packages.gurobipy: 9.5.1 -> 11.0.1 | |||||
2024-03-31 | Merge remote-tracking branch 'upstream/staging-next' into staging | annalee | 2 | -9/+250 | |
Conflicts: pkgs/development/python-modules/cssutils/default.nix | |||||
2024-03-31 | Merge branch 'master' into haskell-updates | Naïm Favier | 6 | -74/+76 | |
2024-03-31 | Merge staging-next into staging | github-actions[bot] | 1 | -2/+3 | |
2024-03-31 | Merge pull request #298093 from ↵ | Dmitry Kalinkin | 1 | -2/+3 | |
r-ryantm/auto-update/python311Packages.snakemake-interface-executor-plugins python311Packages.snakemake-interface-executor-plugins: 8.2.0 -> 9.1.0 | |||||
2024-03-31 | snakemake: 8.4.12 -> 8.10.4 | Dmitry Kalinkin | 1 | -2/+3 | |
2024-03-31 | Merge staging-next into staging | github-actions[bot] | 2 | -40/+53 | |
2024-03-30 | Merge pull request #300278 from jonringer/lammps-autoadd | Someone | 1 | -2/+2 | |
lammps: use pkgs.autoAddDriverRunpath | |||||
2024-03-30 | Merge pull request #300266 from Cryolitia/labelimg | Weijia Wang | 1 | -38/+51 | |
labelImg: 1.8.3 -> 1.8.6, re-format with `nixfmt-rfc-style` | |||||
2024-03-30 | Merge staging-next into staging | github-actions[bot] | 2 | -4/+4 | |
2024-03-30 | Merge pull request #298216 from r-ryantm/auto-update/pspp | Weijia Wang | 1 | -2/+2 | |
pspp: 2.0.0 -> 2.0.1 | |||||
2024-03-30 | lammps: use pkgs.autoAddDriverRunpath | Jonathan Ringer | 1 | -2/+2 | |
2024-03-31 | labelImg: re-format with `nixfmt-rfc-style` | 北雁 Cryolitia | 1 | -49/+50 | |
2024-03-31 | labelImg: 1.8.3 -> 1.8.6 | 北雁 Cryolitia | 1 | -4/+16 | |
Co-Authored-By: Fabian Freihube <fabian@freihube.dev> | |||||
2024-03-30 | Merge pull request #299873 from r-ryantm/auto-update/rofi-calc | Nick Cao | 1 | -2/+2 | |
rofi-calc: 2.2.0 -> 2.2.1 |