Pol Dellaiera
958c531b62
Merge pull request #256069 from r-ryantm/auto-update/jmol
...
jmol: 16.1.35 -> 16.1.39
2023-09-20 20:00:41 +02:00
Weijia Wang
de8116cdb2
nvc: 1.10.2 -> 1.10.3
2023-09-20 00:23:53 +02:00
R. Ryantm
dd4bd3dabb
jmol: 16.1.35 -> 16.1.39
2023-09-19 08:55:58 +00:00
R. Ryantm
65033fea28
mosdepth: 0.3.4 -> 0.3.5
2023-09-19 00:55:31 +00:00
OTABI Tomoya
79b7aacb8b
Merge pull request #255413 from r-ryantm/auto-update/blast
...
blast: 2.14.0 -> 2.14.1
2023-09-18 17:55:58 +09:00
Mario Rodas
00207520f9
Merge pull request #255313 from kilianar/mpsolve-init
...
mpsolve: init at 3.2.1
2023-09-16 07:48:28 -05:00
Artturi
eac4faced1
Merge pull request #254287 from Artturin/sagedocfix1
...
sage: If docs are not enabled then don't include a doc attribute
2023-09-16 06:36:31 +03:00
R. Ryantm
e567f85a64
blast: 2.14.0 -> 2.14.1
2023-09-16 03:10:11 +00:00
kilianar
d82f297d79
mpsolve: init at 3.2.1
2023-09-15 17:44:16 +02:00
Fabián Heredia Montiel
d32595dad1
Merge pull request #249590 from Luflosi/update/boinc
...
boinc: 7.22.2 -> 7.24.1
2023-09-13 23:26:57 -05:00
figsoda
50d5d15896
egglog: unstable-2023-08-29 -> unstable-2023-09-12
...
Diff: c83fc75087...4d67f262a6
2023-09-13 11:32:01 -04:00
Yorick
e4c9667019
Merge pull request #254490 from Vtec234/master
...
drat-trim: 2020-06-05 -> 2023-05-22
2023-09-13 15:53:03 +02:00
Mario Rodas
48780fa239
Merge pull request #250309 from trofi/angsd-fix-parallel
...
angsd: pull patch pending upstream inclusion for parallel build fix
2023-09-13 06:24:00 -05:00
Fabián Heredia Montiel
37123711fc
Merge pull request #254879 from LibreCybernetics/treewide-vendorhash
...
treewide: vendorSha256 → vendorHash
2023-09-13 02:59:20 -05:00
Fabián Heredia Montiel
ff323ed355
treewide: vendorSha256 → vendorHash
...
via: `find pkgs/ -type f -exec sed -i 's/vendorSha256 = "sha256/vendorHash = "sha256/' {};`
2023-09-13 01:03:44 -06:00
Mario Rodas
fae6b58656
Merge pull request #254848 from r-ryantm/auto-update/cbmc
...
cbmc: 5.90.0 -> 5.91.0
2023-09-12 23:29:01 -05:00
OTABI Tomoya
acc0ac92ee
Merge pull request #250922 from natsukium/viennarna/update
...
viennarna: rename from ViennaRNA
2023-09-13 12:37:50 +09:00
R. Ryantm
1dd61a3ea5
cbmc: 5.90.0 -> 5.91.0
2023-09-13 00:11:49 +00:00
Wojciech Nawrocki
8c55974f89
Update pkgs/applications/science/logic/drat-trim/default.nix
...
Co-authored-by: Weijia Wang <9713184+wegank@users.noreply.github.com>
2023-09-12 14:52:16 -04:00
Wojciech Nawrocki
cf7bdf9486
drat-trim: 2020-06-05 -> 2023-05-22
2023-09-12 12:00:38 -04:00
R. Ryantm
d5e6e8ac03
veryfasttree: 4.0.2 -> 4.0.3
2023-09-12 06:13:28 +00:00
Nick Cao
ae7df79dfb
Merge pull request #254499 from marsam/update-elan
...
elan: 2.0.1 -> 3.0.0
2023-09-11 10:16:16 -04:00
Mario Rodas
1a5ae14bcb
elan: 2.0.1 -> 3.0.0
...
Diff: https://github.com/leanprover/elan/compare/v2.0.1...v3.0.0
Changelog: https://github.com/leanprover/elan/blob/v3.0.0/CHANGELOG.md
2023-09-10 04:20:00 +00:00
Doron Behar
2fa96bfc08
Merge pull request #250435 from tobim/pkgs/spdlog-1.12
...
spdlog: 1.11.0 -> 1.12.0
2023-09-10 10:30:42 +00:00
Peder Bergebakken Sundt
584efdc931
netlistsvg: update meta.homepage
2023-09-09 22:53:54 +02:00
Artturin
cf3d29d63f
sage: If docs are not enabled then don't include a doc attribute
...
there should be no doc attribute if docs are not enabled
the doc attribute is used in nixos/documentation.nix
adeb7629fc/nixos/modules/misc/documentation.nix (L342)
2023-09-09 23:30:11 +03:00
R. Ryantm
ac77a8f7d0
igv: 2.16.1 -> 2.16.2
2023-09-09 05:56:58 +00:00
Peder Bergebakken Sundt
c49f338aeb
netlistsvg: init at 1.0.2
2023-09-08 19:23:43 +00:00
Weijia Wang
71bdfb80b1
Merge pull request #252203 from r-ryantm/auto-update/workcraft
...
workcraft: 3.4.0 -> 3.4.1
2023-09-06 20:49:49 +02:00
Ben Darwin
5bbcb4840b
mrtrix: unstable-2021-11-25 -> 3.0.4
2023-09-06 12:11:38 -04:00
Weijia Wang
c0b6bb0677
Merge pull request #253169 from flokli/xmedcon-cherrypick
...
xmedcon: update homepage, add wrapGAppsHook
2023-09-05 23:50:15 +02:00
Weijia Wang
e05ddba190
Merge pull request #252357 from GaetanLepage/wolfram
...
wolfram-engine: add 13.3.0
2023-09-05 23:31:00 +02:00
Tobias Mayer
142cb83c73
hal-hardware-analyzer: mark as broken on darwin
2023-09-05 18:06:51 +02:00
Nick Cao
32c85e9b8f
Merge pull request #253413 from r-ryantm/auto-update/cytoscape
...
cytoscape: 3.10.0 -> 3.10.1
2023-09-05 08:17:18 -04:00
R. Ryantm
7310af91d4
cytoscape: 3.10.0 -> 3.10.1
2023-09-05 11:47:11 +00:00
Weijia Wang
4b16df4b63
Merge pull request #253204 from r-ryantm/auto-update/gama
...
gama: 2.24 -> 2.25
2023-09-05 12:06:00 +02:00
R. Ryantm
086fe9c93c
kissat: 3.0.0 -> 3.1.0
2023-09-05 05:29:29 +00:00
Tobias Mayer
90ea2f63fe
openroad: unstable-2023-03-31 -> unstable-2023-08-26
2023-09-04 21:01:51 +02:00
Dmitry Kalinkin
3c15feef77
root: 6.26.10 -> 6.28.06 ( #215187 )
2023-09-04 12:24:30 -04:00
Henner Zeller
7d1ddd1dfb
surelog: 1.57 -> 1.73
...
Also, use the finalAttrs pattern for easier overrides.
Explicitly mention that we don't fetch submodules to emphasize that
all vendored dependencies are replaced with nix dependencies.
2023-09-04 09:03:32 -05:00
Henner Zeller
ad71d3105c
uhdm: 1.57 -> 1.73
...
Also, use the finalAttrs pattern for easier overrides.
Explicitly mention that we don't fetch submodules to emphasize that
all vendored dependencies are replaced with nix dependencies.
2023-09-04 09:03:32 -05:00
ajs124
7f728d409f
flatcam: fix after daf490f1f9
2023-09-04 13:55:31 +02:00
ajs124
3d1d7419d4
qucs: remove
2023-09-04 13:55:29 +02:00
ajs124
f72bd5065d
qfsm: remove
...
there seems to be an active fork. see https://github.com/AaronErhardt/qfsm/issues/1
for their progress on qt5 support
2023-09-04 13:55:28 +02:00
ajs124
f1ca7eecbb
avogadro: remove
2023-09-04 13:55:28 +02:00
ajs124
fd9213cf75
aliza: remove
2023-09-04 13:55:28 +02:00
ajs124
85d2adb0cd
flatcam: 8.5 -> unstable-2022-02-02
...
qt4 -> qt5
2023-09-04 13:54:49 +02:00
ajs124
de1d98cabe
vite: 1.2pre1543 -> unstable-2022-05-17
2023-09-04 13:54:49 +02:00
Vincent Laporte
02643fe422
coq_8_18: init at 8.18+rc1
2023-09-04 10:02:59 +02:00
Vincent Laporte
62441cb5da
cvc5: 1.0.6 → 1.0.7
2023-09-04 08:32:07 +02:00
