swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-09-20 20:39:04 +02:00
Code Issues Packages Projects Releases Wiki Activity
595984 commits 5 branches 0 tags 27 GiB
Commit graph

9061 commits

Author SHA1 Message Date
R. Ryantm c66736f8e0 eigenmath: unstable-2024-03-06 -> unstable-2024-03-11 2024-03-12 07:13:32 +00:00
Vincent Laporte 0521702b1d coq_8_19: 8.19.0 → 8.19.1 2024-03-12 05:49:59 +01:00
Pol Dellaiera 54c52cb276
Merge pull request #294334 from ShamrockLee/sourceroot-fix 
treewide: fix hard-coded `sourceRoot` prefix for `fetchgit`-based `src`
 2024-03-11 16:50:57 +01:00
R. Ryantm 6c08d7994a calcmysky: 0.3.1 -> 0.3.2 2024-03-11 12:27:56 +00:00
R. Ryantm 1e6c427404 primesieve: 12.0 -> 12.1 2024-03-10 13:30:57 +00:00
Joachim Breitner af10a63043 Revert "elan: revert temporary directory creation" 
This reverts commit 66e4e61595.
 2024-03-09 16:50:49 +01:00
Joachim Breitner 5681570171 fix: elan: use relative paths in wrapper script 
since 3.1.1, `elan` extracts to a temporary location and then moves to a
final location, this threw the wrapper script off. Updating the patch to
use paths relative to the wrapper script, so that it works independent
of absolute location.
 2024-03-09 16:01:03 +01:00
Yueh-Shun Li 91b3db1309 treewide: fix sourceRoot for fetchgit-based src 
According to Nixpkgs manual[1] and NixOS 23.11 Release Note[2], the
`sourceRoot` attribute passed to `stdenv.mkDerivation` should be
specified as `"${src.name}"` or `"${src.name}/subdir"` when `src` is
produced using `fetchgit`-based fetchers.

`sourceRoot = "source"` or `sourceRoot = "source/subdir"` is based on
the assumption that the `name` attribute of these pre-unpacked fetchers
are always `"source"`, which is not the case. Expecting constant `name`
also makes the source FODs prone to irrelevent hashes during version
bumps.

[1]: https://nixos.org/manual/nixpkgs/unstable/#var-stdenv-sourceRoot
[2]: https://nixos.org/manual/nixos/stable/release-notes#sec-release-23.11
 2024-03-09 07:53:25 +08:00
Mauricio Collares 119b065fec
Merge pull request #293065 from r-ryantm/auto-update/jmol 
jmol: 16.1.53 -> 16.1.63
 2024-03-08 12:25:12 +01:00
R. Ryantm 8d3ed85daa jmol: 16.1.53 -> 16.1.63 2024-03-08 09:48:22 +00:00
Weijia Wang 40f9f30edf
Merge pull request #292724 from r-ryantm/auto-update/cvc5 
cvc5: 1.1.1 -> 1.1.2
 2024-03-08 08:48:25 +01:00
Pol Dellaiera 983f7e7cfb
Merge pull request #293432 from alois31/geogebra-3d 
geogebra: fix 3D view again
 2024-03-07 19:53:05 +01:00
Nick Cao 48a8aef2f3
Merge pull request #294100 from r-ryantm/auto-update/eigenmath 
eigenmath: unstable-2024-02-25 -> unstable-2024-03-06
 2024-03-07 12:57:05 -05:00
R. Ryantm f4a362ed25 eigenmath: unstable-2024-02-25 -> unstable-2024-03-06 2024-03-07 17:49:19 +00:00
Samuel Ainsworth a417c4b9ec
Merge pull request #293773 from GaetanLepage/mujoco 
mujoco: 3.1.2 -> 3.1.3
 2024-03-07 11:03:32 -05:00
Weijia Wang 13a97affb1
Merge pull request #291880 from r-ryantm/auto-update/pari 
pari: 2.15.4 -> 2.15.5
 2024-03-07 16:56:45 +01:00
Gaetan Lepage d62f208672 mujoco: 3.1.2 -> 3.1.3 
Diff: https://github.com/google-deepmind/mujoco/compare/refs/tags/3.1.2...3.1.3

Changelog: https://github.com/google-deepmind/mujoco/releases/tag/3.1.3
 2024-03-07 15:41:37 +01:00
Weijia Wang dba4cc979f
Merge pull request #287372 from r-ryantm/auto-update/cryptominisat 
cryptominisat: 5.11.15 -> 5.11.21
 2024-03-07 15:23:07 +01:00
7c6f434c 40ddcd77cf
Merge pull request #293918 from r-ryantm/auto-update/opensmt 
opensmt: 2.5.2 -> 2.6.0
 2024-03-07 11:22:39 +00:00
Weijia Wang b2a57ed0b9
Merge pull request #285423 from r-ryantm/auto-update/diamond 
diamond: 2.1.8 -> 2.1.9
 2024-03-07 11:24:20 +01:00
Weijia Wang c02fcb5130
Merge pull request #287668 from r-ryantm/auto-update/igv 
igv: 2.17.1 -> 2.17.2
 2024-03-07 09:31:05 +01:00
Weijia Wang 05bdea1c17
Merge pull request #291482 from r-ryantm/auto-update/verilator 
verilator: 5.020 -> 5.022
 2024-03-07 08:08:34 +01:00
Weijia Wang cbf8d3d567
Merge pull request #292044 from r-ryantm/auto-update/mavproxy 
mavproxy: 1.8.66 -> 1.8.70
 2024-03-07 07:58:16 +01:00
Mario Rodas 66e4e61595 elan: revert temporary directory creation 2024-03-07 04:20:00 +00:00
R. Ryantm 08a8c74c4b opensmt: 2.5.2 -> 2.6.0 2024-03-07 01:36:53 +00:00
Weijia Wang d83c961db0
Merge pull request #289177 from r-ryantm/auto-update/clingcon 
clingcon: 5.2.0 -> 5.2.1
 2024-03-06 23:48:05 +01:00
Weijia Wang aac102629b
Merge pull request #290917 from r-ryantm/auto-update/magic-vlsi 
magic-vlsi: 8.3.460 -> 8.3.463
 2024-03-06 22:24:44 +01:00
R. Ryantm 9bb1834bfa cadical: 1.9.4 -> 1.9.5 2024-03-06 15:23:48 +00:00
R. Ryantm 66d4364107 magic-vlsi: 8.3.460 -> 8.3.463 2024-03-05 20:26:29 +00:00
Markus Kowalewski d73e602b44 gromacs: 2024 -> 2024.1 2024-03-05 14:38:54 +01:00
Mario Rodas 4ca2b298cc lean4: 4.6.0 -> 4.6.1 
Diff: https://github.com/leanprover/lean4/compare/v4.6.0...v4.6.1

Changelog: https://github.com/leanprover/lean4/blob/v4.6.1/RELEASES.md
 2024-03-04 04:20:00 +00:00
Alois Wohlschlager aecaeee645
geogebra: fix 3D view again 2024-03-03 20:05:36 +01:00
R. Ryantm 16d5b925a8 lammps-mpi: 2Aug2023_update2 -> 2Aug2023_update3 2024-03-02 20:33:42 +00:00
Doron Behar bef4ada0eb
Merge pull request #292584 from r-ryantm/auto-update/wxmaxima 
wxmaxima: 24.02.1 -> 24.02.2
 2024-03-02 18:21:28 +02:00
R. Ryantm b4acd43269 cvc5: 1.1.1 -> 1.1.2 2024-03-02 04:58:08 +00:00
Mario Rodas 37d0669466
Merge pull request #287403 from trofi/graphia-gcc-13-fix-update 
graphia: 3.2 -> 4.2
 2024-03-01 23:26:37 -05:00
R. Ryantm 3f388279f7 nnpdf: 4.0.8 -> 4.0.9 2024-03-01 12:36:01 -05:00
R. Ryantm 39b24670d7 wxmaxima: 24.02.1 -> 24.02.2 2024-03-01 13:40:14 +00:00
Mario Rodas 7767a0f22d
Merge pull request #292202 from marsam/update-lean4 
lean4: 4.5.0 -> 4.6.0
 2024-02-29 20:49:17 -05:00
Justin Bedő 5deb2a3b18
Merge pull request #289911 from r-ryantm/auto-update/last 
last: 1541 -> 1542
 2024-03-01 08:59:19 +11:00
R. Ryantm 93030f9ff7 mavproxy: 1.8.66 -> 1.8.70 2024-02-28 09:50:10 +00:00
R. Ryantm c2338e336f eigenmath: unstable-2024-02-04 -> unstable-2024-02-25 2024-02-28 07:51:09 +00:00
Mario Rodas 468b7bae7f lean4: 4.5.0 -> 4.6.0 
Diff: https://github.com/leanprover/lean4/compare/v4.5.0...v4.6.0

Changelog: https://github.com/leanprover/lean4/blob/v4.6.0/RELEASES.md
 2024-02-28 04:20:00 +00:00
R. Ryantm 9b570f04bc pari: 2.15.4 -> 2.15.5 2024-02-27 15:53:35 +00:00
R. Ryantm a8a2cc301b verilator: 5.020 -> 5.022 2024-02-26 05:26:02 +00:00
Nick Cao c063b9b052
Merge pull request #291307 from trofi/sortmerna-gcc-13-fix 
sortmerna: fix `gcc-13` build
 2024-02-25 11:12:12 -05:00
Sergei Trofimovich 0c544b0f0f sortmerna: fix gcc-13 build 
Without the change the build on `master` fails as
https://hydra.nixos.org/build/249070958:

    In file included from /build/source/src/sortmerna/kseq_load.cpp:38:
    /build/source/include/kseq_load.hpp:61:12: error: 'uint64_t' has not been declared
       61 |            uint64_t number_total_read,
          |            ^~~~~~~~
 2024-02-25 07:49:10 +00:00
Sergei Trofimovich b4e6152dc5 starspace: mark broken 
THe build fails against `zlib-1.3` in `master` as
https://hydra.nixos.org/build/249158742:

    3rdparty/zlib.h:1468:32: error: expected initializer before 'Z_ARG'
     1468 | ZEXTERN int ZEXPORTVA gzprintf Z_ARG((gzFile file, const char *format, ...));
          |                                ^~~~~

The upstream repository did not see updates for past 5 years and is
archived. Let's schedule it for removal.
 2024-02-24 22:44:20 +00:00
Fabián Heredia Montiel db1ee6dfe6 Merge remote-tracking branch 'origin/master' into staging-next 
fastcdr was moved to by-name

Related to:

- https://github.com/NixOS/nixpkgs/pull/290836
 2024-02-23 16:47:01 -06:00
Pol Dellaiera 6c2979370b
Merge pull request #290850 from raboof/gnucap-by-name 
gnucap: move to by-name
 2024-02-23 22:58:44 +01:00