Commit Graph

6455 Commits

Author SHA1 Message Date
Jonas Heinrich
3e1cc19497
Merge pull request #183690 from r-ryantm/auto-update/openhantek6022
openhantek6022: 3.2.5 -> 3.3.1
2022-08-28 14:22:00 +02:00
Jonas Heinrich
c4fd9300ff
Merge pull request #184218 from r-ryantm/auto-update/gwyddion
gwyddion: 2.60 -> 2.61
2022-08-28 13:01:46 +02:00
Artturi
79c42aa06c
Merge pull request #186564 from Artturin/crossevalfixes
Fixes for cross-compilation
2022-08-27 17:49:00 +03:00
Jonas Heinrich
ed227dc9fb
Merge pull request #168109 from r-ryantm/auto-update/bcftools
bcftools: 1.15 -> 1.16
2022-08-27 08:51:34 +02:00
Theodore Ni
bb1d34d0f1
cvc3: reenable stackprotector on aarch64-darwin
The original error that required disabling the stack protector on
aarch64-darwin has been fixed in GCC.
2022-08-25 19:11:45 -07:00
Jonas Heinrich
21ba29f226
Merge pull request #181338 from thyol/diamond
diamond: 0.8.36 -> 2.0.15
2022-08-25 15:25:03 +02:00
Jonas Heinrich
a289c54a90
Merge pull request #184365 from r-ryantm/auto-update/marvin
marvin: 22.8.0 -> 22.13.0
2022-08-25 10:21:44 +02:00
Sandro
2b87b01423
Merge pull request #187334 from fedeinthemix/wolfram-update 2022-08-24 22:07:00 +02:00
Jonas Heinrich
b8e0c9b652
Merge pull request #183253 from r-ryantm/auto-update/angsd
angsd: 0.937 -> 0.938
2022-08-24 10:35:05 +02:00
Jonas Heinrich
c199cfabff
Merge pull request #184694 from r-ryantm/auto-update/SPAdes
SPAdes: 3.15.4 -> 3.15.5
2022-08-23 20:21:42 +02:00
K900
05aa6c1026 xyce: fix eval after #187842 2022-08-23 09:43:48 +03:00
Gabriel Ebner
c83b87fecd
Merge pull request #187883 from alyaeanyx/qalculate-4.3.0
{libqalculate, qalculate-gtk}: 4.2.0 -> 4.3.0
2022-08-22 18:47:13 +02:00
Gabriel Ebner
e99329eb02 elan: overwrite llvm-ar with stdenv ar 2022-08-22 16:52:52 +02:00
alyaeanyx
61b47c361c {libqalculate, qalculate-gtk}: 4.2.0 -> 4.3.0 2022-08-22 16:14:34 +02:00
Jonas Heinrich
ed7e80c85b
Merge pull request #183893 from r-ryantm/auto-update/emuflight-configurator
emuflight-configurator: 0.4.0 -> 0.4.1
2022-08-22 16:07:10 +02:00
Jonas Heinrich
fbf9205774
Merge pull request #185912 from r-ryantm/auto-update/fityk
fityk: 1.3.1 -> 1.3.2
2022-08-21 21:34:00 +02:00
Jonas Heinrich
5cb64f6046
Merge pull request #186958 from r-ryantm/auto-update/igv
igv: 2.13.2 -> 2.14.0
2022-08-21 21:11:49 +02:00
Jonas Heinrich
48c0cae744
Merge pull request #184713 from r-ryantm/auto-update/siril
siril: 1.0.0 -> 1.0.3
2022-08-21 18:13:09 +02:00
Jonas Heinrich
4cde04611f
Merge pull request #184011 from r-ryantm/auto-update/fricas
fricas: 1.3.7 -> 1.3.8
2022-08-21 15:16:39 +02:00
Jonas Heinrich
8508d5decf
Merge pull request #183724 from r-ryantm/auto-update/picard-tools
picard-tools: 2.26.11 -> 2.27.4
2022-08-21 10:03:42 +02:00
Sandro
c637bce3d9
Merge pull request #187429 from HHR2020/geogebra-723 2022-08-21 03:49:26 +02:00
HHR2020
9a946f0bf4 geogebra6: 6-0-676-0 -> 6-0-723-0 2022-08-19 18:16:37 +08:00
HHR2020
34cfab69d2 geogebra: 5-0-706-0 -> 5-0-723-0 2022-08-19 18:16:12 +08:00
Christian Kögler
f99c37f463
Merge pull request #187340 from r-ryantm/auto-update/cbmc
cbmc: 5.63.0 -> 5.64.0
2022-08-19 10:24:27 +02:00
Robert Scott
dbb68933c8
Merge pull request #185326 from risicle/ris-streamlit-1.11.1
streamlit: 1.2.0 -> 1.11.1
2022-08-18 23:39:36 +01:00
R. Ryantm
e0377f4a23 cbmc: 5.63.0 -> 5.64.0 2022-08-18 20:25:31 +00:00
Federico Beffa
c01bc4268a wolfram-engine: 13.0.1 -> 13.1.0 2022-08-18 21:27:29 +02:00
R. Ryantm
98d1f4c35d bcftools: 1.15 -> 1.16 2022-08-18 18:44:42 +00:00
Jiajie Chen
da87f77102 cbmc: init at 5.63.0
Cadical is used as sat solver backend.

https://github.com/diffblue/cbmc/releases/tag/cbmc-5.63.0
2022-08-18 05:21:32 +02:00
Sebastián Mancilla
68696eca80
Merge pull request #180682 from r-ryantm/auto-update/fast-downward
fast-downward: 21.12.0 -> 22.06.0
2022-08-17 20:28:49 -04:00
Vincent Laporte
9bb0d53a4a alt-ergo: 2.4.1 → 2.4.2 2022-08-17 17:07:27 +02:00
superherointj
fdfb409681
Merge pull request #185331 from r-ryantm/auto-update/jmol
jmol: 14.32.66 -> 14.32.68
2022-08-17 11:38:41 -03:00
Sandro
b3da007795
Merge pull request #186604 from panicgh/sigrok 2022-08-17 14:44:28 +02:00
Nicolas Benes
d8f986d902 pulseview: 0.4.1 -> 0.4.2 2022-08-16 15:51:13 +02:00
R. Ryantm
c20b56187c jmol: 14.32.66 -> 14.32.68 2022-08-16 13:39:44 +00:00
R. Ryantm
f4c3ff2d7f igv: 2.13.2 -> 2.14.0 2022-08-16 13:24:02 +00:00
Artturin
c6568adb00 treewide: makeWrapper buildInputs to nativeBuildInputs
most found with https://github.com/siraben/nix-lint
2022-08-16 13:14:19 +03:00
superherointj
f7414aeae2
Merge pull request #186662 from r-ryantm/auto-update/messer-slim
messer-slim: 3.7.1 -> 4.0
2022-08-15 15:40:46 -03:00
Christian Kögler
10bf9a30cd
Merge pull request #179082 from k3a/openboardview
openboardview: init at 9.0.3
2022-08-15 16:54:43 +02:00
Christian Kögler
121d695571
Merge pull request #183328 from r-ryantm/auto-update/graphia
graphia: 3.0 -> 3.1
2022-08-15 14:13:00 +02:00
Mrmaxmeier
4929601fe9 bitwuzla: unstable-2021-07-01 -> unstable-2022-08-07 2022-08-14 22:58:44 +02:00
R. Ryantm
6130491cdf openhantek6022: 3.2.5 -> 3.3.1 2022-08-14 16:16:19 +00:00
R. Ryantm
c37112d2d0 messer-slim: 3.7.1 -> 4.0 2022-08-14 14:11:37 +00:00
Jonas Heinrich
a46597d7f9
Merge pull request #186307 from r-ryantm/auto-update/gretl
gretl: 2022a -> 2022b
2022-08-14 14:25:45 +02:00
Sandro
6a8e911454
Merge pull request #185995 from wegank/nvc-1.7.0 2022-08-14 00:49:15 +02:00
R. Ryantm
7f3ad42166 snakemake: 7.12.0 -> 7.12.1 2022-08-13 16:16:11 -04:00
Mario Rodas
0cab4c8f8a
Merge pull request #183012 from bcdarwin/update-mni-autoreg
mni_autoreg: unstable-2017-09-22 -> unstable-2022-05-20
2022-08-13 01:05:26 -05:00
Mario Rodas
6aeb44c32e
Merge pull request #185211 from r-ryantm/auto-update/delly
delly: 1.0.3 -> 1.1.3
2022-08-13 00:41:48 -05:00
Austin Seipp
5b93ac113c yosys: 0.18 -> 0.20
Includes necessary `abc` update as well.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2022-08-12 13:23:18 -05:00
Sebastián Mancilla
b9ce2756a1
Merge pull request #178884 from dtzWill/update/verliator-4.224
verilator: 4.222 -> 4.224
2022-08-12 12:00:50 -04:00