Commit Graph

8134 Commits

Author SHA1 Message Date
Janik
777fcd15e2
Merge pull request #245677 from fsagbuya/linux-gpib 2023-08-08 14:52:14 +02:00
Vincenzo Mantova
fb4da9bcad R: split tex output for use with texlive.combine 2023-08-08 11:37:56 +01:00
github-actions[bot]
dd48ee46cf
Merge master into staging-next 2023-08-07 12:00:52 +00:00
Weijia Wang
c34272e65c
Merge pull request #247623 from r-ryantm/auto-update/samtools
samtools: 1.17 -> 1.18
2023-08-07 13:50:07 +02:00
Vladimír Čunát
a93afc73ef
polymake: pin back to perl 5.36
https://hydra.nixos.org/build/230316833/nixlog/2/tail
2023-08-07 08:52:10 +02:00
R. Ryantm
06fadebc20 libpoly: 0.1.11 -> 0.1.13 2023-08-07 04:40:37 +00:00
R. Ryantm
2f9afe24c3 fast-downward: 22.12.0 -> 23.06.0 2023-08-07 01:43:33 +00:00
R. Ryantm
a303664816 samtools: 1.17 -> 1.18 2023-08-07 01:22:06 +00:00
Lorenz Brun
c317e99ee7 dsview: 1.2.2 -> 1.3.0
The new version is also Qt 6 compatible, so use this opportunity to
switch to Qt 6.
2023-08-06 22:29:50 +02:00
github-actions[bot]
191e60634e
Merge master into staging-next 2023-08-06 18:01:04 +00:00
Mario Rodas
156a49aa49
Merge pull request #236810 from natsukium/cmtk/update
cmtk: 3.3.1 -> 3.3.2; fix darwin build
2023-08-06 11:51:18 -05:00
natsukium
edc5d13ef3
streamlit: manage as python-modules 2023-08-06 22:55:01 +09:00
github-actions[bot]
6458cb74a2
Merge master into staging-next 2023-08-05 12:01:30 +00:00
Mauricio Collares
91c8b652db
Merge pull request #246980 from collares/sage-next-20230728
[staging-next] sage: numpy/scipy upgrade patches
2023-08-05 10:14:27 +02:00
Doron Behar
82326d676d
Merge pull request #247122 from doronbehar/pkg/lammps
lammps: 23Jun2022_update4 -> 2Aug2023
2023-08-05 08:00:23 +00:00
Nick Cao
bbe9ae26ec
Merge pull request #247159 from panicgh/dataexplorer
dataexplorer: 3.7.8 -> 3.7.9
2023-08-05 00:27:43 -06:00
Andrey Alekseenko
2f707365e2 gromacs: update meta
- license is now lgpl21Plus
- accurate longDescription
2023-08-05 00:44:04 +00:00
Weijia Wang
70f066f77f
Merge pull request #247155 from wegank/beluga-hash
beluga: fix hash
2023-08-04 22:10:47 +02:00
Weijia Wang
5c9ba9e55c
Merge pull request #246863 from r-ryantm/auto-update/picard-tools
picard-tools: 3.0.0 -> 3.1.0
2023-08-04 21:17:27 +02:00
Weijia Wang
ac82995363
Merge pull request #247137 from wegank/guile-platforms-3
treewide: reduce guile_2_0 usage
2023-08-04 20:36:06 +02:00
Weijia Wang
d4e52e4564 beluga: fix hash 2023-08-04 19:48:22 +02:00
Weijia Wang
c39c0479dd geda: 1.8.2-20130925 -> 1.10.2 2023-08-04 19:10:54 +02:00
Vincent Laporte
14651559b5 hol_light: 2019-10-06 → 2023-07-21 2023-08-04 18:15:31 +02:00
Doron Behar
4939850514 lammps: 23Jun2022_update4 -> 2Aug2023 2023-08-04 17:48:40 +03:00
Nicolas Benes
afd76e93e3 dataexplorer: 3.7.8 -> 3.7.9 2023-08-04 14:19:25 +02:00
markuskowa
394beeefa6
Merge pull request #246983 from sheepforce/molcas-qcmaquis
openmolcas: enable dmrg and nevpt2 support
2023-08-04 10:55:44 +02:00
Jan Malakhovski
5852f26bdc treewide: noop: refer to src.name or similar in sourceRoot where appropriate, part 1: trivial cases 2023-08-03 16:32:03 +00:00
Weijia Wang
029622d055
Merge pull request #246876 from wegank/jogl-platforms
gephi, processing: support more platforms
2023-08-03 17:47:40 +02:00
Phillip Seeber
eacf49d19e openmolcas: enable dmrg and nevpt2 support 2023-08-03 17:34:32 +02:00
Mauricio Collares
c0f4dc2f59
Merge pull request #246573 from CRTified/sage-overrideScope
sage: use overrideScope instead of packageOverrides
2023-08-03 17:02:44 +02:00
Weijia Wang
c9b8162d3d gephi: unrestrict platforms 2023-08-03 15:33:20 +02:00
Florian Agbuya
1d41078177 linux-gpib: init at 4.3.6 2023-08-03 21:19:45 +08:00
R. Ryantm
29a0a9e29a picard-tools: 3.0.0 -> 3.1.0 2023-08-02 22:03:03 +00:00
Weijia Wang
4ae82b0bbe
Merge pull request #246823 from bcdarwin/update-beluga
beluga: 1.0 -> 1.1
2023-08-02 23:19:07 +02:00
Weijia Wang
66aedfd010
Merge pull request #246815 from r-ryantm/auto-update/veryfasttree
veryfasttree: 4.0.1 -> 4.0.2
2023-08-02 21:56:37 +02:00
Weijia Wang
e4e313aeff
Merge pull request #246485 from r-ryantm/auto-update/bcftools
bcftools: 1.17 -> 1.18
2023-08-02 19:51:47 +02:00
Ben Darwin
93a35301f1 beluga: 1.0 -> 1.1 2023-08-02 13:20:41 -04:00
Pol Dellaiera
9a772d7658
veryfasttree: use finalAttrs pattern 2023-08-02 18:51:11 +02:00
R. Ryantm
1fd16883d4 veryfasttree: 4.0.1 -> 4.0.2 2023-08-02 16:13:45 +00:00
Mauricio Collares
c25f522dda sage: import upstream numpy/scipy upgrade patches 2023-08-02 11:41:20 +02:00
Weijia Wang
b5416bf837
Merge pull request #246593 from jiegec/auto-update/cbmc
cbmc: 5.87.0 -> 5.88.1
2023-08-01 23:00:00 +02:00
Weijia Wang
23332e13fe
Merge pull request #243407 from natsukium/paml/update
paml: 4.9j -> 4.10.7
2023-08-01 22:09:44 +02:00
Jiajie Chen
b96dbd032c cbmc: 5.87.0 -> 5.88.1 2023-08-01 23:52:10 +08:00
Doron Behar
43ce484589
Merge pull request #245375 from doronbehar/pkg/lammps
lammps: numerous improvements
2023-08-01 14:44:57 +00:00
markuskowa
b89bbeaac5
Merge pull request #246331 from sheepforce/cp2k
cp2k: 2023.1 -> 2023.2
2023-08-01 15:52:32 +02:00
Carl Richard Theodor Schneider
27657a22ba sage: use overrideScope instead of packageOverrides 2023-08-01 15:04:21 +02:00
sheepforce
ab6fef15e0 stellarium: add patch for indi 2.0 compatibility 2023-08-01 11:12:10 +00:00
R. Ryantm
487c6ac2bd bcftools: 1.17 -> 1.18 2023-08-01 03:38:31 +00:00
Weijia Wang
30464bb5c5 treewide: fix mvnHash 2023-07-31 21:13:40 +02:00
Weijia Wang
e658ffa994 treewide: cleanup maven packages 2023-07-31 21:13:09 +02:00
Weijia Wang
8e97536b8c
Merge pull request #246352 from wegank/nvc-bump
nvc: 1.10.0 -> 1.10.1
2023-07-31 19:51:20 +02:00
Weijia Wang
819bb53c2c nvc: 1.10.0 -> 1.10.1 2023-07-31 15:31:40 +02:00
Phillip Seeber
0261a4fc37 cp2k: 2023.1 -> 2023.2 2023-07-31 12:33:37 +02:00
Weijia Wang
2d69842838
Merge pull request #245931 from soupglasses/pkg/ns-usbloader-7.0
ns-usbloader: init at 7.0
2023-07-31 11:56:30 +02:00
Janik
41ebe3a503
Merge pull request #245958 from whonore/update-dafny-4.2.0 2023-07-29 21:05:23 +02:00
Martin Weinelt
86c62f4d00
Merge pull request #244655 from oddlama/init-insightface
python310Packages.insightface: init at 0.7.3
2023-07-29 20:49:19 +02:00
oddlama
3d0ab76d81
mxnet: fix darwin build 2023-07-29 13:28:30 +02:00
Pol Dellaiera
cb8e68fd59
Merge pull request #244146 from GiggleSquid/pkgs/boinc-headless
boinc: add headless option
2023-07-29 12:52:12 +02:00
whonore
eb15838bdb dafny: 4.0.0 -> 4.2.0 2023-07-28 17:11:46 -04:00
Sofi
00d7684ad8
maintainers: rename imsofi to soupglasses 2023-07-28 20:01:06 +02:00
Nick Cao
35abc09040
Merge pull request #245458 from vale981/patch-1
mathematica: enable wayland support
2023-07-27 20:41:19 -06:00
Doron Behar
eae54103ca lammps: always enable cuda opengl runpath support 2023-07-27 18:51:41 +03:00
Doron Behar
10e7c631c8 lammps: Install vim and neovim files 2023-07-27 18:44:01 +03:00
Doron Behar
6051ebe0ce lammps: Add meta.mainProgram 2023-07-27 18:44:01 +03:00
R. Ryantm
2dd3cda40f elan: 2.0.0 -> 2.0.1 2023-07-27 04:51:49 +00:00
Nick Cao
f00fb876ad
Merge pull request #245556 from figsoda/egglog
egglog: unstable-2023-07-11 -> unstable-2023-07-19
2023-07-26 17:50:11 -06:00
Sandro
d0202aa545
Merge pull request #244292 from Luflosi/update/yosys
yosys: 0.30 -> 0.31
2023-07-27 00:35:20 +02:00
figsoda
3db4ace604 egglog: unstable-2023-07-11 -> unstable-2023-07-19
Diff: 14a6fc6060...9fe03ad35a
2023-07-26 12:09:56 -04:00
Valentin Boettcher
ff73ec1d6d
mathematica: enable wayland support 2023-07-26 10:03:01 -04:00
Pol Dellaiera
6513fb9b37
Merge pull request #244818 from r-ryantm/auto-update/fricas
fricas: 1.3.8 -> 1.3.9
2023-07-26 13:26:10 +02:00
Pol Dellaiera
77df81300c
Merge pull request #245256 from r-ryantm/auto-update/labplot
labplot: 2.10.0 -> 2.10.1
2023-07-26 13:22:52 +02:00
Justin Bedő
ef4a59fac8
Merge pull request #245302 from r-ryantm/auto-update/last
last: 1456 -> 1460
2023-07-26 20:06:44 +10:00
Connor Baker
495875182e
Merge pull request #224068 from SomeoneSerge/respect-config-cudaSupport
Respect global config.cudaSupport
2023-07-25 14:18:14 -04:00
luisdomingoaranda
183e7ca1b7 kingstvis: init at 3.6.1 2023-07-25 13:04:12 +02:00
Dilip
401be824b2 pspp: 1.4.1 -> 1.6.2
Note: needs ssw >= 0.7
2023-07-25 11:08:27 +05:30
R. Ryantm
40b736f0e8 last: 1456 -> 1460 2023-07-25 04:34:13 +00:00
Nick Cao
c4a065f6c3
Merge pull request #244644 from amiloradovsky/master
verilator & systemc: update & integration
2023-07-24 17:01:34 -06:00
R. Ryantm
5577734d9e labplot: 2.10.0 -> 2.10.1 2023-07-24 22:40:48 +00:00
Sandro
a3da17da2f
Merge pull request #237952 from SharzyL/sv-lang 2023-07-24 17:40:15 +02:00
SharzyL
a6b6203b6d
sv-lang: init at 3.0 2023-07-24 12:26:35 +08:00
github-actions[bot]
449a683b10
Merge master into staging-next 2023-07-24 00:02:26 +00:00
Mario Rodas
6936629bae
Merge pull request #245026 from natsukium/dssp/update
dssp: 4.3.1 -> 4.4.2
2023-07-23 16:39:43 -05:00
github-actions[bot]
6afe543aec
Merge master into staging-next 2023-07-23 18:01:33 +00:00
Doron Behar
d4f5099ee4
Merge pull request #240730 from doronbehar/pkg/spdlog-fmt
spdlog: reformat expression arguments, and comment about fmt_9
2023-07-23 14:42:41 +00:00
natsukium
e54f06de69
dssp: 4.3.1 -> 4.4.2
Diff: https://github.com/PDB-REDO/dssp/compare/refs/tags/v4.3.1...v4.4.2

Changelog: https://github.com/PDB-REDO/libcifpp/releases/tag/refs/tags/v4.4.2
2023-07-23 21:24:23 +09:00
github-actions[bot]
86a73bdb86
Merge master into staging-next 2023-07-23 00:02:31 +00:00
R. Ryantm
edb213c399 gromacs: 2023.1 -> 2023.2 2023-07-22 15:07:37 +00:00
Tobias Mayer
ba2ce6e73b
various packages: pin boost179
Taken from PR #244831 and vcunat amended the miopen override.
2023-07-22 16:54:22 +02:00
R. Ryantm
e136d9b0c8 fricas: 1.3.8 -> 1.3.9 2023-07-22 11:43:20 +00:00
Felix Bühler
0a2745684e
Merge pull request #239624 from Stunkymonkey/use-optionalString-then
treewide: use optionalString instead of 'then ""'
2023-07-22 13:02:47 +02:00
Andrew Miloradovsky
a655cc3d9e verilator: use systemc and other fixes 2023-07-21 11:52:31 +00:00
Andrew Miloradovsky
d0ad644851 systemc: 2.3.3 -> 2.3.4 2023-07-21 11:52:22 +00:00
Someone Serge
471dbe9bcf
treewide: consume config.cudaSupport as required
Eliminate uses of `config.cudaSupport or false` and alike, since the
option is now declared in config.nix with a default value

fd .nix -t f -x sed 's/config\.cudaSupport or false, cudaPackages [?] [{][}]/config.cudaSupport, cudaPackages ? { }/' '{}' -i
fd .nix -t f -x sed 's/config\.cudaSupport or false/config.cudaSupport/' '{}' -i
fd .nix -t f -x sed 's/cudaSupport = pkgs.config.cudaSupport/inherit (pkgs.config) cudaSupport/' '{}' -i
fd .nix -t f -x sed 's/cudaSupport = config.cudaSupport/inherit (config) cudaSupport/' '{}' -i
2023-07-20 18:08:19 +03:00
Someone Serge
bf9e6fe9b8
tree-wide: rm cudaSupport ? false formal parameters
'cudaSupport ? false' -> 'cudaSupport ? config.cudaSupport or false' to respect global defaults

Packages expressions that take `cudaSupport ? false` are likely to
ignore `config.cudaSupport`. Instead, we want them to make `cudaSupport`
a required argument, or to explicitly refer to `config`
2023-07-20 17:27:07 +03:00
Someone Serge
74549ec63b
tree-wide: 'enableCuda ? false' -> 'config.cudaSupport or false' to respect global defaults 2023-07-20 17:27:07 +03:00
R. Ryantm
baf2e9b036 opensmt: 2.5.1 -> 2.5.2 2023-07-19 04:02:07 +00:00
Jack Connors
3f99b556de boinc: add headless option
Added headless option and packages entry. Switches config flag --disable-manager and omits X/GUI related libs
2023-07-18 21:47:12 +01:00
Luflosi
f6cd7355c5
abc-verifier: unstable-2023-02-23 -> unstable-2023-06-28 2023-07-18 21:37:31 +02:00
Mauricio Collares
03843721bf
Merge pull request #244031 from r-ryantm/auto-update/primecount
primecount: 7.8 -> 7.9
2023-07-18 14:37:26 +02:00
Weijia Wang
dd3e1f7f7a
Merge pull request #244050 from r-ryantm/auto-update/sumo
sumo: 1.17.0 -> 1.18.0
2023-07-18 11:07:09 +03:00
Weijia Wang
61f3c3e183
Merge pull request #244022 from r-ryantm/auto-update/qgroundcontrol
qgroundcontrol: 4.2.6 -> 4.2.8
2023-07-18 10:51:46 +03:00
R. Ryantm
85ea4214a3 sumo: 1.17.0 -> 1.18.0 2023-07-17 21:12:36 +00:00
R. Ryantm
48e895c202 primecount: 7.8 -> 7.9 2023-07-17 18:33:41 +00:00
R. Ryantm
99ce6d1bb5 qgroundcontrol: 4.2.6 -> 4.2.8 2023-07-17 18:17:29 +00:00
R. Ryantm
7a9d01d44c seqkit: 2.4.0 -> 2.5.0 2023-07-17 11:15:14 +00:00
Weijia Wang
a65eab9e69 nvc: 1.9.2 -> 1.10.0 2023-07-15 21:52:10 +02:00
github-actions[bot]
2a22bb7087
Merge master into staging-next 2023-07-15 06:01:19 +00:00
figsoda
f6793ae4af egglog: unstable-2023-06-26 -> unstable-2023-07-11
Diff: 187441ad0d...14a6fc6060
2023-07-14 11:37:35 -04:00
natsukium
d2c506948b
paml: refactor 2023-07-14 15:08:14 +09:00
natsukium
f6e2b68122
paml: 4.9j -> 4.10.7
Diff: d59d538939...4.10.7
Changelog: https://github.com/abacus-gene/paml/releases/tag/4.10.7
2023-07-14 15:08:08 +09:00
github-actions[bot]
9905fde3a5
Merge master into staging-next 2023-07-14 00:02:39 +00:00
Artturi
e74e68449c
Merge pull request #211075 from ppenguin/openmodelica-with-3d-animation 2023-07-14 00:00:04 +03:00
Weijia Wang
2dfef3b02a
Merge pull request #243295 from natsukium/delly/darwin
delly: enable darwin support
2023-07-13 21:01:55 +03:00
github-actions[bot]
a3b43106c9
Merge master into staging-next 2023-07-13 18:01:24 +00:00
Weijia Wang
0c87c8c09b
Merge pull request #243286 from wegank/tobim-boost-update-1
boost17x, boost18x: remove aliases
2023-07-13 20:48:31 +03:00
Mauricio Collares
943e19d2e0
Merge pull request #243039 from collares/pari-2.15.4
pari: 2.15.3 -> 2.15.4
2023-07-13 18:08:41 +01:00
natsukium
7cec88e50f
delly: enable openmp 2023-07-14 00:20:20 +09:00
natsukium
ae95c0d5a5
delly: refactor 2023-07-14 00:18:27 +09:00
natsukium
61be2ca18a
delly: enable darwin support
- add passthru.tests
2023-07-13 23:54:39 +09:00
Tobias Mayer
315d100113 boost17x, boost18x: remove aliases 2023-07-13 17:48:33 +03:00
Theodore Ni
b3fce87bc5
ergoscf: disable fortify3 hardening flag 2023-07-12 21:32:09 -07:00
Mauricio Collares
e2622eee41
Merge pull request #242466 from risicle/ris-fortify3-disable-various
disable `fortify3` hardening flag on various packages
2023-07-12 13:49:08 +01:00
Mauricio Collares
63fd36b9f1 pari: 2.15.3 -> 2.15.4 2023-07-12 08:53:37 +01:00
Weijia Wang
46ed1e3a8c
Merge pull request #242794 from r-ryantm/auto-update/elan
elan: 1.4.6 -> 2.0.0
2023-07-11 22:22:35 +03:00
Weijia Wang
e2078e747c
Merge pull request #242775 from r-ryantm/auto-update/cbmc
cbmc: 5.86.0 -> 5.87.0
2023-07-11 16:26:04 +03:00
R. Ryantm
fc8230b13a elan: 1.4.6 -> 2.0.0 2023-07-11 09:02:20 +00:00
natsukium
e7c8cbc2b1
cmtk: fix format
- use finalAttrs instead of rec
- fix license
- remove trailing space from description
2023-07-11 17:50:47 +09:00
natsukium
7014b723d9
cmtk: enable some compile options
- use system zlib
- enabled bzip2
- enabled fftw
- enabled openmp for clang

- still disabled Grand Central Dispatch for linux because of build failure
- still disabled CUDA because of build failure
- still disabled mxml because of build failure
- still disabled lzma because of lack of lzmadec.h
- still disabled dcmtk because of build failure
2023-07-11 17:50:47 +09:00
natsukium
6bf04fc9c9
cmtk: fix darwin build 2023-07-11 17:50:43 +09:00
R. Ryantm
68c5d276f1 cbmc: 5.86.0 -> 5.87.0 2023-07-11 05:28:30 +00:00
Nick Cao
40d3a7f94c
Merge pull request #241824 from evils/kicad
kicad: 7.0.5 -> 7.0.6
2023-07-11 13:03:42 +08:00
Janik
58da584acf
Merge pull request #185499 from mgregson/tlaplus-1.8.0 2023-07-10 10:30:58 +02:00
Weijia Wang
9c73d9e61e
Merge pull request #242508 from r-ryantm/auto-update/kallisto
kallisto: 0.48.0 -> 0.50.0
2023-07-09 22:56:52 +03:00
R. Ryantm
b5e04f0bc7 kallisto: 0.48.0 -> 0.50.0 2023-07-09 17:19:43 +00:00
Weijia Wang
763c174440
Merge pull request #236975 from r-ryantm/auto-update/singular
singular: 4.3.2p1 -> 4.3.2p2
2023-07-09 18:14:53 +03:00
Mauricio Collares
8f216662cb sage: import singular 4.3.2p2 update patch 2023-07-09 12:59:45 +01:00
R. Ryantm
69cc6c07ac singular: 4.3.2p1 -> 4.3.2p2 2023-07-09 12:57:07 +01:00
Mauricio Collares
1104a22962 sage: refresh patches 2023-07-09 12:53:52 +01:00
Robert Scott
3feefc9d32 root5: disable fortify3 hardening flags 2023-07-09 12:45:43 +01:00
Mauricio Collares
189a069329
Merge pull request #242419 from r-ryantm/auto-update/polymake
polymake: 4.9 -> 4.10
2023-07-09 11:54:17 +01:00
Weijia Wang
6d506a9d51
Merge pull request #242302 from r-ryantm/auto-update/nest-mpi
nest-mpi: 3.4 -> 3.5
2023-07-09 12:21:22 +03:00
R. Ryantm
ca9e7a2416 polymake: 4.9 -> 4.10 2023-07-09 06:18:12 +00:00
R. Ryantm
ead7b7800d nest-mpi: 3.4 -> 3.5 2023-07-08 16:03:30 +00:00
R. Ryantm
47d5bee543 veryfasttree: 4.0 -> 4.0.1 2023-07-08 07:27:05 +00:00
Ilan Joselevich
412e47d656
Merge pull request #241919 from dev-null-undefined/master
mathematica: 13.2.1 -> 13.3.0
2023-07-08 00:44:26 +03:00
Markus Kowalewski markus.kowalewski@fysik.su.se
3cbc4483f3 octopus: 12.2 -> 13.0 2023-07-06 15:25:28 +02:00
dev-null-undefined
76177da5c0
mathematica: 13.2.1 -> 13.3.0 2023-07-06 14:20:10 +02:00
Evils
2f4d7504f5 kicad: 7.0.5 -> 7.0.6 2023-07-06 07:18:29 +02:00
figsoda
8e1aab5d34 egglog: unstable-2023-06-11 -> unstable-2023-06-26
Diff: c7ef8b000c...187441ad0d
2023-07-04 11:57:03 -04:00
R. Ryantm
fac18fdb2c autodock-vina: 1.2.3 -> 1.2.5 2023-07-04 13:13:22 +00:00
Doron Behar
2bc847c8f4
Merge pull request #241325 from alyaeanyx/qalculate-4.7.0
{libqalculate, qalculate-gtk, qalculate-qt}: 4.6.1 -> 4.7.0
2023-07-04 11:19:48 +00:00
Nick Cao
b44297facb
Merge pull request #241272 from kilianar/stellarium-23.2
stellarium: 23.1 -> 23.2
2023-07-04 10:34:33 +08:00
alyaeanyx
2ae8e33832 {libqalculate, qalculate-gtk, qalculate-qt}: 4.6.1 -> 4.7.0 2023-07-03 20:07:10 +02:00
Weijia Wang
1e0d363214
Merge pull request #241136 from r-ryantm/auto-update/veryfasttree
veryfasttree: 3.1.1 -> 4.0
2023-07-03 17:17:51 +03:00
kilianar
24016b9633 stellarium: 23.1 -> 23.2
https://github.com/Stellarium/stellarium/releases/tag/v23.2
2023-07-03 14:04:41 +02:00
Weijia Wang
82d4f6b43d veryfasttree: fix build on darwin 2023-07-03 12:29:44 +03:00
Weijia Wang
d2eeccba40
Merge pull request #241086 from r-ryantm/auto-update/simgrid
simgrid: 3.32 -> 3.34
2023-07-03 10:38:49 +03:00
Nick Cao
8feaa9fe93
Merge pull request #241120 from jiegec/cbmc
cbmc: 5.76.1 -> 5.86.0
2023-07-03 13:58:03 +08:00
figsoda
5522188fc8
Merge pull request #241192 from tjni/snakemake
snakemake: fix broken source hash
2023-07-02 21:02:26 -04:00
Theodore Ni
1af33d4653
snakemake: fix broken source hash 2023-07-02 16:50:09 -07:00
Nick Cao
ab163c16ee
Merge pull request #241037 from NickCao/gprojector
gprojector: 3.0.6 -> 3.1.0
2023-07-03 06:20:55 +08:00
Martin Weinelt
5a193fb4dd
Merge pull request #232469 from natsukium/autodock-vina/init
autodock-vina: init at 1.2.3
2023-07-02 23:45:13 +02:00
Martin Weinelt
bb40b8c205
Merge pull request #235322 from natsukium/dssp/update
dssp: 4.2.2.1 -> 4.3.1; libcifpp: 5.0.8 -> 5.1.0.1; libmcfp: 1.2.3 -> 1.2.4
2023-07-02 23:12:49 +02:00
figsoda
50acc2d57a pkgs/applications: replace "${version}" with version 2023-07-02 14:39:50 -04:00
R. Ryantm
cb16c50571 veryfasttree: 3.1.1 -> 4.0 2023-07-02 15:55:36 +00:00
Jiajie Chen
2db283819e cbmc: 5.76.1 -> 5.86.0 2023-07-02 22:46:06 +08:00
R. Ryantm
1539e263f8 simgrid: 3.32 -> 3.34 2023-07-02 11:06:07 +00:00
Nick Cao
1693695975
gprojector: 3.0.6 -> 3.1.0 2023-07-02 13:06:15 +08:00
Doron Behar
48c25dcaf2 spdlog: reformat expression arguments, and comment about fmt_9 2023-07-01 16:59:49 +03:00
natsukium
7b49fced0f
dssp: fix format
- add changelog to meta
- use finalAttrs
2023-07-01 16:40:29 +09:00
natsukium
fba5a4d702
dssp: 4.2.2.1 -> 4.3.1
Diff: https://github.com/PDB-REDO/dssp/compare/v4.2.2.1...v4.3.1
2023-07-01 16:36:36 +09:00
Michael Gregson
9269d5823d tlaplus18: init at 1.8.0
This is a pre-release of version 1.8 of TLA+. It adds, among other
things, a TLA+ REPL.

Release Notes: https://github.com/tlaplus/tlaplus/releases/tag/v1.8.0
2023-06-30 16:09:41 -07:00
Théo Zimmermann
29cf8484ab
Merge pull request #240656 from vbgl/coq-8.17.1
coq: 8.17.0 → 8.17.1
2023-06-30 14:26:08 +02:00
Weijia Wang
3b743dd6b6
Merge pull request #240479 from r-ryantm/auto-update/gerbv
gerbv: 2.9.7 -> 2.9.8
2023-06-30 10:29:54 +03:00
Vincent Laporte
002ffb885a
coq: 8.17.0 → 8.17.1 2023-06-30 06:48:15 +02:00
R. Ryantm
c7231acb83 gerbv: 2.9.7 -> 2.9.8 2023-06-29 06:41:33 +00:00
Justin Bedő
296758401d
Merge pull request #239891 from NixOS/r-updates
R updates
2023-06-29 13:14:20 +10:00
Justin Bedő
2687680f22
Merge pull request #240318 from r-ryantm/auto-update/mosdepth
mosdepth: 0.3.3 -> 0.3.4
2023-06-29 09:52:34 +10:00
nviets
4bb4d449a7
snakemake: 7.25.3 -> 7.29.0 (#240263)
Co-authored-by: nviets <nathan.viets@gmail.com>
2023-06-28 17:09:10 +02:00
OTABI Tomoya
125bb92705
streamlit: 1.21.0 -> 1.24.0 (#240248)
Diff: https://github.com/streamlit/streamlit/compare/1.21.0...1.24.0

Changelog: https://github.com/streamlit/streamlit/releases/tag/1.24.0
2023-06-28 17:08:47 +02:00
Mario Rodas
e6a970aaba
Merge pull request #238994 from kilianar/geogebra
geogebra: 5-0-745-0 -> 5-0-783-0, geogebra6: 6-0-745-0 -> 6-0-783-0
2023-06-28 06:55:22 -05:00
R. Ryantm
abfcd95c63 mosdepth: 0.3.3 -> 0.3.4 2023-06-28 10:52:42 +00:00
R. Ryantm
75b8e7eb4b cryptominisat: 5.11.4 -> 5.11.11 2023-06-28 02:05:20 +00:00
kilianar
46f3360e1a geogebra6: 6-0-745-0 -> 6-0-785-0 2023-06-28 00:08:19 +02:00
kilianar
48a30529f7 geogebra: 5-0-745-0 -> 5-0-785-0 2023-06-28 00:08:19 +02:00
Sandro
6c112fb5de
Merge pull request #232600 from evils/kicad-unstable 2023-06-27 13:33:54 +02:00
Janik
77e5ce731b
Merge pull request #238964 from McSinyx/klee-3 2023-06-27 09:38:09 +02:00
Evils
ad19566aca kicad-unstable: 2023-04-14 -> 2023-06-24
new qa_cli test needs pytest-image-diff
it also accesses $HOME, so setting that as well
and it checks for a valid commit
 which is exposed to the end-user via kicad-cli version --format=commit
 so i'm setting the placeholder to the actual commit used
  mostly to avoid doing a leaveDotGit and rewriting update.sh
2023-06-27 08:27:47 +02:00
github-actions[bot]
4e9dcbbbc6
Merge master into staging-next 2023-06-26 18:01:29 +00:00
Janik
a2f36b2963
Merge pull request #231149 from mgregson/tlaplus-remove-unnecessary-jdk-dependency 2023-06-26 18:15:28 +02:00
github-actions[bot]
f04cfae48a
Merge master into staging-next 2023-06-26 12:01:27 +00:00
Mario Rodas
e0e4c97cd1
Merge pull request #239623 from marsam/update-z3
z3: 4.11.0 -> 4.11.2, 4.12.1 -> 4.12.2
2023-06-26 05:16:37 -05:00
Vladimír Čunát
24711148d4
openmvg: fixup build
The build broke probably after cmake upgrade in b8ac5b6cfb,
but either way - this forcing of old C++ standard seemed bad.
https://hydra.nixos.org/build/225241222/nixlog/2/tail
2023-06-26 11:28:12 +02:00
Justin Bedo
bd8f4a24e1
R: 4.3.0 -> 4.3.1 2023-06-26 16:47:23 +10:00
Weijia Wang
826bdb7214
Merge pull request #239691 from r-ryantm/auto-update/diamond
diamond: 2.1.7 -> 2.1.8
2023-06-26 07:46:03 +02:00
Weijia Wang
ca4181830d
Merge pull request #239646 from r-ryantm/auto-update/horizon-eda
horizon-eda: 2.4.0 -> 2.5.0
2023-06-26 07:41:37 +02:00
Weijia Wang
2b6acb1ae6
Merge pull request #239479 from r-ryantm/auto-update/qucs-s
qucs-s: 1.0.2 -> 1.1.0
2023-06-26 07:25:09 +02:00
Mario Rodas
27343d6e6b
Merge pull request #239795 from r-ryantm/auto-update/elan
elan: 1.4.5 -> 1.4.6
2023-06-25 14:10:25 -05:00
R. Ryantm
aa93209605 elan: 1.4.5 -> 1.4.6 2023-06-25 17:27:10 +00:00
R. Ryantm
fa6b5a3cb3 last: 1453 -> 1456 2023-06-25 11:01:07 -03:00