nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-08-27 02:34:53 +00:00
Code Issues Packages Projects Releases Wiki Activity
1,058,872 Commits 448 Branches 81 Tags
python-updates
Commit Graph

11217 Commits

Author SHA1 Message Date
Théo Zimmermann
5c53c37c3f rocqPackages.rocq-core: introduce withPackages 2026-08-18 15:39:38 +02:00
Théo Zimmermann
124e44e7fa coqPackages: stop building from coq-packages.nix for >= 9 
Introduce aliases.

coqPackages.rocq-core: introduce as alias of coq for Coq < 9

To facilitate the merging of coq-modules and rocq-modules derivations.
 2026-08-18 15:39:37 +02:00
Gaetan Lepage
aaa76b744a openmvs: move to by-name, cleanup 2026-08-14 15:23:36 +00:00
Weijia Wang
121046099d caffe: migrate to by-name, modernize (#511179) 2026-08-09 00:13:49 +00:00
Weijia Wang
92fc51132a minc_tools: migrate to by-name (#512527) 2026-08-09 00:01:18 +00:00
Guy Chronister
20c2da3f73 caffe: migrate to by-name 2026-08-09 01:58:33 +02:00
Guy Chronister
b695c08071 gerbv: migrate to by-name 2026-08-07 21:36:51 +02:00
Markus Kowalewski
5c75ff8458 gromacs: 2026.2 -> 2026.3 2026-08-06 15:06:36 +02:00
Peder Bergebakken Sundt
28411ae323 gromacs: select more specific SIMD instruction sets (#546617) 2026-07-31 23:55:39 +00:00
Vincent Laporte
6c30549e3c easycrypt: 2026.06 → 2026.07 (#545249) 2026-07-31 05:17:19 +00:00
davide-grheco
1e7da20850 gromacs: select more specific SIMD instruction sets 
Gromacs was always defaulting to SSE4.1 SIMD on x86_64 architectures.
Added the detection of systems supporting AVX_512, AVX2_256 and AVX_256
using hostplatform.avx512Support, etc.
This pattern is already present in ELPA:
https://github.com/NixOS/nixpkgs/blob/master/pkgs/by-name/el/elpa/package.nix
 2026-07-28 11:30:58 +02:00
夜坂雅
d48664c3b9 geda: drop 2026-07-26 20:20:19 +08:00
TomaSajt
38e6d10918 R: move to pkgs/by-name 2026-07-26 08:39:49 +10:00
TomaSajt
73a89410bf R: move default withRecommendedPackages value into package file 2026-07-26 08:39:49 +10:00
Justin Bedo
519bc6a880 R: 4.6.0 -> 4.6.1 2026-07-26 08:39:38 +10:00
Vincent Laporte
f06fb2a373 easycrypt: 2026.06 → 2026.07 2026-07-24 16:04:46 +02:00
Pierre Roux
363e06dfb5 rocq-core: ocaml 5.4 -> 5.5 2026-07-23 14:30:58 +02:00
Pierre Roux
24e6aa6736 rocq-core_9_3: init at 9.3+rc1 2026-07-23 14:26:19 +02:00
Pierre Roux
e271009742 coq: set strictDeps 2026-07-23 14:26:19 +02:00
Pierre Roux
85386223f3 rocq-core: set strictDeps 2026-07-23 14:26:19 +02:00
nixpkgs-ci[bot]
baab16d485 Merge master into staging-next 2026-07-16 12:33:46 +00:00
K900
45ae10c84d Merge remote-tracking branch 'origin/master' into staging-next 2026-07-15 10:52:37 +03:00
pancaek
a44c25bf74 celestia: move to by-name/ 2026-07-14 21:43:12 -07:00
Emily
fdb820602b treewide: drop simple x86_64-darwin mentions 
To reproduce:

    $ nix run nixpkgs/3b32825de172d0bc85664f495edb096b10862524#ast-grep \
        -- scan --update-all --inline-rules '
          id: nix-x86_64-darwin
          language: nix
          rule:
            any:
              - pattern: "\"x86_64-darwin\""
                kind: list_expression > string_expression
              - pattern:
                  context: "{ \"x86_64-darwin\" = $EXPR; }"
                  selector: binding
              - pattern:
                  context: "{ x86_64-darwin = $EXPR; }"
                  selector: binding
          fix:
            template: ""
        ' pkgs
    $ nix run nixpkgs/3b32825de172d0bc85664f495edb096b10862524#ast-grep \
        -- scan --update-all --inline-rules '
          id: json-first-x86_64-darwin
          language: json
          rule:
            kind: object > pair:nth-child(1)
            has:
              pattern: "\"x86_64-darwin\""
              field: key
          fix:
            template: ""
            expandEnd: { regex: "," }
        ' pkgs
    $ nix run nixpkgs/3b32825de172d0bc85664f495edb096b10862524#ast-grep \
        -- scan --update-all --inline-rules '
          id: json-x86_64-darwin
          language: json
          rule:
            kind: object > pair
            has:
              pattern: "\"x86_64-darwin\""
              field: key
          fix:
            template: ""
            expandStart: { regex: "," }
        ' pkgs
    $ git restore pkgs/by-name/om/omnix/package.nix
    $ git diff --name-only -z \
        | nix shell nixpkgs/3b32825de172d0bc85664f495edb096b10862524#gnused \
            -c xargs -0 sed -i '/^$/N; /^\n\? \+$/d'
    $ treefmt
 2026-07-15 03:58:16 +01:00
Emily
734bc6c4e9 Revert "R: fix build on darwin" 
The ld64 issue has been fixed.

This reverts commit f03ea24eb1.
 2026-07-15 03:26:25 +01:00
Markus Kowalewski
1f0eb09001 nwchem: migrate to by-name, use strictDeps and structuredAttrs (#539409) 2026-07-14 21:24:16 +00:00
Vincent Laporte
17be5c5fe7 Delete duplicated code and make mkCoqDerivation a wrapper on top of mkRocqDerivation (#537856) 2026-07-13 07:41:58 +00:00
Ryan Omasta
f03ea24eb1 R: fix build on darwin 2026-07-11 21:36:15 -06:00
OTABI Tomoya
2a8b45d6c5 hh-suite: use finalAttrs, strictDeps, and structuredAttrs, migrate to by-name (#540101) 2026-07-12 02:39:13 +00:00
Théo Zimmermann
0235b9517e mkCoqDerivation: make a wrapper on top of mkRocqDerivation 2026-07-10 17:56:53 +02:00
Guy Chronister
068f09b80e hh-suite: migrate to by-name 2026-07-09 15:19:41 -05:00
Guy Chronister
c3038ff45d hh-suite: switch from openmp to llvmPackages.openmp and modernize derivation 
This updates hh-suite to use llvmPackages.openmp instead of requiring
openmp to be passed at the call site. The callPackage override in
all-packages.nix is removed accordingly.

Additional cleanups:
- migrate fetchFromGitHub to `tag` + `hash`
- enable strictDeps and __structuredAttrs
- adopt finalAttrs form for mkDerivation
 2026-07-09 15:16:46 -05:00
Guy Chronister
03e576ffb9 megam: migrate to pkgs/by-name 2026-07-08 19:10:08 -05:00
Guy Chronister
caeb363b1c megam: migrate to ocaml-ng 4.14 and modernize build 
- Switch from `ocaml` to `ocaml-ng.ocamlPackages_4_14` and inherit `ocaml`
  directly inside the derivation.
- Update `src` to use `hash` instead of deprecated `sha256`.
- Replace deprecated OCaml APIs using `--replace-fail` to ensure failures
  surface during patching.
- Enable `__structuredAttrs` for consistency with current package style.
- Remove redundant override in all-packages.nix now that the derivation
  selects the OCaml version internally.
 2026-07-08 19:06:55 -05:00
Guy Chronister
675204a081 nwchem: migrate to by-name 2026-07-07 18:36:43 -05:00
Guy Chronister
3068e2d8ed nwchem: migrate to finalAttrs, structuredAttrs, and strictDeps 2026-07-07 18:36:43 -05:00
Guy Chronister
4e85f86a57 nwchem: move arguments out of all-packages.nix 2026-07-07 18:36:43 -05:00
nixpkgs-ci[bot]
c4c9ab3a7d Merge master into staging-next 2026-07-01 00:47:18 +00:00
Peder Bergebakken Sundt
301de43bf5 various: migrate to by-name (#529333) 2026-06-30 21:40:24 +00:00
nixpkgs-ci[bot]
45908f8f52 Merge master into staging-next 2026-06-29 00:46:48 +00:00
Guy Chronister
558c286992 abella: migrate to by-name 
Assisted-by: Cursor Composer 2.5
 2026-06-28 13:15:21 -05:00
Guy Chronister
d1293cadd9 abella: move all args out of top-level, refactor 
Assisted-by: Cursor Composer 2.5
 2026-06-28 13:12:57 -05:00
Michael Daniels
4d86f2810e Merge branch 'staging-next' into staging 2026-06-21 22:23:20 -04:00
Gaetan Lepage
3fecd68e9d cudaPackages_13_3.cccl: init at 13.3.3.3.1 2026-06-21 16:56:43 +00:00
Grayson Tinker
dae9680cc0 satallax: migrate to by-name 2026-06-15 21:58:13 -07:00
Grayson Tinker
c88ffd2d5f tamarin-prover: migrate to by-name 2026-06-15 21:58:11 -07:00
Grayson Tinker
092b433c33 statverif: migrae to by-name 2026-06-15 21:58:09 -07:00
Grayson Tinker
5e211460be cubicle: migrate to by-name 2026-06-15 21:58:08 -07:00
Grayson Tinker
8e53080089 shogun: migrate to by-name 2026-06-15 21:58:07 -07:00
nixpkgs-ci[bot]
081b93be33 Merge staging-next into staging 2026-06-15 19:21:46 +00:00