Doron Behar
0d4aa93b26
Merge pull request #174586 from alyaeanyx/qalculate-4.2.0
2022-05-26 09:15:51 +03:00
Sandro
b9c9593a88
Merge pull request #173304 from IvarWithoutBones/bump/dotnetmodule
2022-05-26 00:26:18 +02:00
alyaeanyx
7275bd17fd
libqalculate, qalculate-gtk: 4.1.1 -> 4.2.0
2022-05-25 21:05:36 +02:00
Cyril Cohen
d113661156
coqPackages: etc
...
- put `findlib` in `buildInputs` of `mkCoqDerivation` to make sure `coq` packages find their ocaml plugin dependencies,
- use `propagatedBuildInputs` to make sure ocaml plugin dependencies are in path,
- updated `coqPackage.heq` (broken url),
- fixed use of `DESTDIR` and `COQMF_COQLIB` in mkCoqDerivation,
- adding `COQCORELIB` environement variable to put ocaml plugin files in the right place,
- make `metaFetch` available from `coqPackages`
2022-05-25 20:00:25 +02:00
Sandro
3b9985498d
Merge pull request #174036 from trofi/workaround-fno-common-for-paml
...
paml: add -fcommon workaround
2022-05-25 00:35:00 +02:00
Sandro
9fd6278214
Merge pull request #173992 from trofi/workaround-fno-common-for-mni_autoreg
...
mni_autoreg: pull upstream workaround for -fno-common toolchains
2022-05-25 00:26:12 +02:00
Bobby Rong
d1c457d050
Merge pull request #173942 from lopsided98/qgroundcontrol-update
...
qgroundcontrol: 4.2.0 -> 4.2.1
2022-05-24 21:43:19 +08:00
Sergei Trofimovich
8cba3775d8
paml: add -fcommon workaround
...
Workaround build failure on -fno-common toolchains like upstream
gcc-10. Otherwise build fails as:
ld: /build/ccKomtcd.o:(.bss+0x4544): multiple definition of `SeqTypes';
/build/ccx7EsgU.o:(.bss+0x2a0dfdc): first defined here
2022-05-22 20:23:12 +01:00
github-actions[bot]
107b6041bc
Merge master into staging-next
2022-05-22 18:01:20 +00:00
ajs124
7d66e93927
Merge pull request #173402 from imsofi/update/geogebra
...
geogebra: 5-0-680-0 -> 5-0-706-0
2022-05-22 16:14:06 +02:00
Sergei Trofimovich
94a5ae4f91
mni_autoreg: pull upstream workaround for -fno-common toolchains
...
Without the change build fails on upstream gcc-10 as:
ld: lib_minctracc.a(minctracclib.c.o):(.bss+0x78): multiple definition of
`prog_name'; CMakeFiles/xfm2param.dir/Extra_progs/xfm2param.c.o:(.bss+0x18): first defined here
2022-05-22 14:37:30 +01:00
Sofi
382f65bd30
geogebra: 5-0-680-0 -> 5-0-706-0
2022-05-22 15:04:08 +02:00
github-actions[bot]
deef19c9a1
Merge master into staging-next
2022-05-22 06:01:27 +00:00
Bobby Rong
3b468e68b7
Merge pull request #173017 from trofi/workaround-fno-common-for-freebayes
...
freebayes: add -fcommon workaround
2022-05-22 13:39:14 +08:00
Ben Wolsieffer
fde16aefa7
qgroundcontrol: 4.2.0 -> 4.2.1
2022-05-21 20:51:32 -04:00
github-actions[bot]
dbef850602
Merge master into staging-next
2022-05-22 00:02:20 +00:00
Ben Siraphob
519f0b9e58
zchaff: use clangStdenv
...
Fixes build on Linux
2022-05-21 16:55:37 -07:00
Ben Siraphob
3c31489f15
Merge pull request #173933 from siraben/zchaff-init
...
zchaff: init at 2004.5.13
2022-05-21 16:26:06 -07:00
Ben Siraphob
a6aa08532c
zchaff: init at 2004.5.13
2022-05-21 15:12:08 -07:00
Justin Bedő
48a33d0bbe
Merge pull request #171597 from NixOS/r-updates
...
R 4.2.0
2022-05-22 07:20:19 +10:00
Jan Tojnar
b8b9f52393
Merge branch 'master' into staging-next
...
Conflicts:
- pkgs/applications/networking/browsers/firefox/common.nix between 318fae87c0f6c5761935
2022-05-21 17:52:39 +02:00
7c6f434c
91c498f0f2
Merge pull request #173543 from collares/sage-gdlib
...
sageWithDoc: clean up sagedoc.nix
2022-05-21 04:31:03 +00:00
Mauricio Collares
727e5a1473
sageWithDoc: cleanup sagedoc.nix
2022-05-20 11:03:25 -07:00
github-actions[bot]
77bded3c43
Merge master into staging-next
2022-05-20 18:02:18 +00:00
Sandro
9c03535bdd
Merge pull request #147486 from pmiddend/crystfel-init
...
CrystFEL: init at 0.10.1
2022-05-20 15:01:53 +02:00
github-actions[bot]
bd83e4cf98
Merge master into staging-next
2022-05-19 12:01:54 +00:00
Sandro
ed58443645
Merge pull request #173172 from Artturin/deprecatestringconf
...
stdenv: start deprecating non-list configureFlags
2022-05-19 11:25:24 +02:00
Sergei Trofimovich
68f3647eae
Merge pull request #172998 from trofi/workaround-fno-common-for-eukleides
...
eukleides: add -fcommon workaround
2022-05-19 07:09:54 +00:00
github-actions[bot]
17dfec3606
Merge master into staging-next
2022-05-19 00:02:14 +00:00
Mauricio Collares
21ae98f5f0
sageWithDoc: add sage-with-env to buildInputs
2022-05-18 15:53:02 -07:00
Vincent Laporte
4a87fcbc86
why3: 1.4.1 → 1.5.0
...
easycrypt: fix build with why3-1.5.0
frama-c: build with why3 1.4.1
2022-05-19 00:13:20 +02:00
Vincent Laporte
6e3a86f2f7
why3.withProvers: fix #168644
2022-05-19 00:09:30 +02:00
github-actions[bot]
925219f62b
Merge master into staging-next
2022-05-18 18:01:13 +00:00
Artturin
cf7476804a
treewide: convert string configureFlags to list of strings
2022-05-18 20:32:33 +03:00
Gabriel Ebner
cc24423641
Merge pull request #170265 from collares/lean-3.42.1
...
lean: 3.42.0 -> 3.43.0
2022-05-18 17:24:31 +02:00
Mauricio Collares
4b37f16232
lean: 3.42.1 -> 3.43.0
2022-05-18 10:30:32 -04:00
Mauricio Collares
0a449d8fff
lean: 3.42.0 -> 3.42.1
2022-05-18 10:27:18 -04:00
Shea Levy
7456be85db
Merge branch 'staging-next' into staging
2022-05-18 06:40:21 -04:00
Someone Serge
b96c7caea6
mxnet: mark cuda build as broken
2022-05-18 09:48:45 +03:00
Robert Scott
39369610f8
Merge pull request #173333 from veprbl/pr/xfitter_fix
...
xfitter: fix for gfortran10+
2022-05-17 23:02:47 +01:00
Fabian Affolter
44b8ec5ccb
Merge pull request #173416 from r-ryantm/auto-update/snakemake
...
snakemake: 7.6.2 -> 7.7.0
2022-05-17 20:39:48 +02:00
Ben Darwin
5cf446f41b
ezminc: mark broken
...
Package refuses to build with current GCC (11), but building with older
GCC causes error linking libminc and I don't want to pin a bunch of
deps.
A newer version is available upstream but it only works with ITK 5.0
(see https://github.com/BIC-MNI/EZminc/issues/15 ),
but we have 4.x and 5.2.x in tree and I'm reluctant to add 5.0 just for
one package (even ITK 4.x is only used by ants and ezminc and should be
removed as soon as ants is upgraded).
2022-05-17 10:24:07 -07:00
R. Ryantm
a52b64015a
snakemake: 7.6.2 -> 7.7.0
2022-05-17 16:18:18 +00:00
Justin Bedo
e052be0a84
Merge remote-tracking branch 'origin/master' into r-updates
2022-05-17 20:57:40 +10:00
Dmitry Kalinkin
1c78ce70fa
xfitter: fix for gfortran10+
2022-05-16 22:07:39 -04:00
Robert Scott
4f7d4241c2
Merge pull request #173279 from veprbl/pr/root5_fix
...
root5: fix build with recent gcc
2022-05-16 22:18:29 +01:00
Ivar Scholten
402cfbf73c
formula: update for dotnet 6
2022-05-16 21:39:47 +02:00
Dmitry Kalinkin
fdf0806386
root5: fix build with recent gcc
2022-05-16 11:53:42 -04:00
github-actions[bot]
add75748e2
Merge staging-next into staging
2022-05-16 12:03:45 +00:00
7c6f434c
1d4c47ea08
Merge pull request #171511 from collares/sage-9.6
...
sage: 9.5 -> 9.6
2022-05-16 09:51:47 +00:00
