Commit graph

8863 commits

Author SHA1 Message Date
Sandro 950c66b787
Merge pull request #284607 from dotlambda/deeptools-fix
deeptools: fix build
2024-01-30 17:16:22 +01:00
figsoda 6446f962a1
Merge pull request #283906 from ConnorBaker/feat/egglog-unstable-2024-01-26
egglog: unstable-2023-09-12 -> 0-unstable-2024-01-26
2024-01-30 10:01:53 -05:00
Nick Cao 1d852c8b67
Merge pull request #284834 from wegank/btor2tools-gcc-13
btor2tools: fix build with gcc 13
2024-01-30 09:04:32 -05:00
markuskowa 07cc24b23a
Merge pull request #284940 from r-ryantm/auto-update/mopac
mopac: 22.1.0 -> 22.1.1
2024-01-30 13:08:13 +01:00
Phillip Seeber dc237cc486 octopus: add mpi and libvdwxc support 2024-01-30 10:55:41 +01:00
h7x4 78352292f6
Merge pull request #284388 from evils/kicad
kicad: 7.0.9 -> 7.0.10
2024-01-30 09:15:53 +01:00
R. Ryantm 5a21941adf mopac: 22.1.0 -> 22.1.1 2024-01-30 06:46:10 +00:00
R. Ryantm 222c1940fa cvc5: 1.1.0 -> 1.1.1 2024-01-30 05:45:19 +01:00
Weijia Wang b03c6a4e9a btor2tools: fix build with gcc 13 2024-01-29 21:35:06 +01:00
Jonas Chevalier b1e30d76d4
fahclient: 8.1.18 -> 8.3.1 (#281830)
* fahclient: 8.1.18 -> 8.3.1

* Update pkgs/applications/science/misc/foldingathome/client.nix

Co-authored-by: Robert Schütz <github@dotlambda.de>

* Update pkgs/applications/science/misc/foldingathome/client.nix

Co-authored-by: Robert Schütz <github@dotlambda.de>

---------

Co-authored-by: Robert Schütz <github@dotlambda.de>
2024-01-29 18:17:16 +01:00
Vincent Laporte d0cdb657c2 why3: move the OCaml library to its own dev output 2024-01-29 09:40:12 +01:00
Vincent Laporte e997629cea why3: make it easy to disable IDE support
easycrypt: use why3 without IDE support
2024-01-29 09:40:12 +01:00
Vincent Laporte c4f01b3b73 why3: 1.7.0 → 1.7.1 2024-01-29 09:40:12 +01:00
7c6f434c 8b0b0782ef
Merge pull request #284620 from r-ryantm/auto-update/jmol
jmol: 16.1.49 -> 16.1.51
2024-01-29 08:25:49 +00:00
Weijia Wang 6c881251a3
Merge pull request #283668 from wegank/fritzing-bump-2
fritzing: 1.0.1 -> 1.0.2
2024-01-29 00:47:06 +01:00
R. Ryantm bf755a20c6 jmol: 16.1.49 -> 16.1.51 2024-01-28 21:17:02 +00:00
Robert Schütz 5e0f2a454f
Merge pull request #284570 from r-ryantm/auto-update/samtools
samtools: 1.19 -> 1.19.2
2024-01-28 20:28:31 +00:00
R. Ryantm fb95ecbbe2 samtools: 1.19 -> 1.19.2 2024-01-28 12:24:10 -08:00
Robert Schütz ac3e621e7f deeptools: fix build 2024-01-28 12:17:37 -08:00
Pascal Bach f271ce7c25
Merge pull request #284425 from carlossless/dsview-darwin
dsview: darwin support
2024-01-28 20:22:52 +01:00
Nick Cao e720191dad
Merge pull request #284406 from r-ryantm/auto-update/eigenmath
eigenmath: unstable-2024-01-22 -> unstable-2024-01-23
2024-01-28 10:59:09 -05:00
Karolis Stasaitis d2f2058b0a dsview: build for darwin 2024-01-28 10:36:49 +05:30
R. Ryantm 633d37d5f1 eigenmath: unstable-2024-01-22 -> unstable-2024-01-23 2024-01-28 04:04:14 +00:00
Evils bb6a8f8625 kicad: 7.0.9 -> 7.0.10 2024-01-28 03:04:51 +01:00
R. Ryantm 3a43e5269a kicad-testing: 7.0-2024-01-07 -> 7.0-2024-01-27 2024-01-27 20:48:43 +00:00
R. RyanTM ec66ff787e
snakemake: 8.2.1 -> 8.3.2 (#284218) 2024-01-27 09:26:23 -05:00
Connor Baker a04f9a5e9e egglog: unstable-2023-09-12 -> 0-unstable-2024-01-26 2024-01-26 22:47:43 -05:00
Maximilian Bosch a13451fa58
Merge pull request #283816 from trofi/whisper-gcc-13-fix
whisper: fix `gcc-13` build failure
2024-01-26 23:11:50 +01:00
Pierre Roux 4ce414bbe4 coq: 8.19+rc1 -> 8.19.0 2024-01-26 19:35:30 +01:00
R. Ryantm f61c011407 ants: 2.5.0 -> 2.5.1 2024-01-26 01:12:12 +01:00
Sergei Trofimovich 4508debde5 whisper: enable parallel building 2024-01-25 19:27:12 +00:00
Sergei Trofimovich cbd45bf5a3 whisper: fix gcc-13 build failure
Without the change build fails on `master` against `gcc-13` as
https://hydra.nixos.org/build/246505636:

    mapper/../common/defs.h:53:9: error: 'uint32_t' does not name a type
       53 | typedef uint32_t ref_pos_t;
          |         ^~~~~~~~
    mapper/../common/defs.h:35:1: note: 'uint32_t' is defined in header '<cstdint>'; did you forget to '#include <cstdint>'?
       34 | #include <string>
      +++ |+#include <cstdint>
2024-01-25 19:24:52 +00:00
Mauricio Collares a3c9b3b678 sage: import scipy 1.12 upgrade patch 2024-01-25 19:06:47 +01:00
github-actions[bot] 8c2ba7797a
Merge master into staging-next 2024-01-25 12:01:19 +00:00
Weijia Wang 4fddc9be4e
Merge pull request #283674 from r-ryantm/auto-update/marvin
marvin: 23.12.0 -> 23.17.0
2024-01-25 10:07:51 +01:00
Vladimír Čunát 24db4fbcb8
octopus: fixup build by adding which
https://hydra.nixos.org/build/247364187/nixlog/1/tail
2024-01-25 09:12:08 +01:00
Weijia Wang 5c4784cd2f marvin: pin openjdk17 2024-01-25 08:59:41 +01:00
R. Ryantm 8deb9a0679 marvin: 23.12.0 -> 23.17.0 2024-01-25 05:45:33 +00:00
Weijia Wang b65f34650b fritzing: 1.0.1 -> 1.0.2 2024-01-25 06:33:33 +01:00
Weijia Wang 826606889e
Merge pull request #264092 from muscaln/fritzing
fritzing: unstable-2022-07-01 -> 1.0.1
2024-01-25 05:57:12 +01:00
Mustafa Çalışkan cdb0810651 fritzing: unstable-2022-07-01 -> 1.0.1 2024-01-25 04:27:37 +01:00
Mauricio Collares 31787848d1
Merge pull request #283288 from r-ryantm/auto-update/jmol
jmol: 16.1.47 -> 16.1.49
2024-01-24 20:51:02 +01:00
Mauricio Collares 435535d968
Merge pull request #283322 from collares/sage-10.2
sage: 10.0 -> 10.2
2024-01-24 18:26:47 +01:00
R. Ryantm fbc1452b83 nnpdf: 4.0.7 -> 4.0.8 2024-01-24 12:00:37 -05:00
Nick Cao 4a7d1eb86e
Merge pull request #283425 from r-ryantm/auto-update/stacks
stacks: 2.65 -> 2.66
2024-01-24 10:08:34 -05:00
Mauricio Collares d37074d8b4 sage, sageWithDoc: 10.0 -> 10.2 2024-01-24 15:26:55 +01:00
R. Ryantm bae468a718 igv: 2.17.0 -> 2.17.1 2024-01-24 08:42:17 +00:00
R. Ryantm 6d5b82a080 stacks: 2.65 -> 2.66 2024-01-24 07:54:36 +00:00
R. Ryantm e30623ef16 jmol: 16.1.47 -> 16.1.49 2024-01-23 18:41:36 +00:00
Weijia Wang 8007117f79
Merge pull request #282666 from wegank/ebtks-refactor
ebtks: fix build on darwin, refactor
2024-01-23 18:23:42 +01:00