Rick van Schijndel
331e26b6ec
Merge pull request #173867 from trofi/fix-fno-common-for-kssd
...
kssd: pull upstream fix for -fno-common tollchains
2022-05-28 20:39:38 +02:00
Timo Kaufmann
4c45cec9e7
Merge pull request #175041 from collares/nauty-2.7r3
...
nauty: 27r1 -> 2.7r3
2022-05-28 20:05:57 +02:00
Mario Rodas
0f20a255ec
Merge pull request #174677 from r-ryantm/auto-update/gmsh
...
gmsh: 4.9.5 -> 4.10.2
2022-05-28 11:48:04 -05:00
Robert Scott
17b62c338f
Merge pull request #175039 from azahi/clingcon-fix
...
clingcon: fix build
2022-05-28 12:40:54 +01:00
Bobby Rong
4125f6cefb
Merge pull request #174552 from r-ryantm/auto-update/dcmtk
...
dcmtk: 3.6.6 -> 3.6.7
2022-05-28 19:02:58 +08:00
Jörg Thalheim
bcd2d6dc23
Merge pull request #152437 from Mic92/picoscope
...
picoscope: fix sources
2022-05-28 08:39:36 +01:00
Jörg Thalheim
a3a93502f1
picoscope: fix sources
2022-05-28 09:36:31 +02:00
7c6f434c
ae0bca4605
Merge pull request #174438 from r-ryantm/auto-update/clingo
...
clingo: 5.5.1 -> 5.5.2
2022-05-28 07:28:47 +00:00
Mauricio Collares
82d40a0695
nauty: 27r1 -> 2.7r3
2022-05-27 16:31:14 -07:00
Azat Bahawi
aa8447dd0c
clingcon: fix build
...
Fix build https://hydra.nixos.org/build/178237905
2022-05-28 02:21:13 +03:00
Artturi
60a0871486
Merge pull request #172391 from Artturin/deprecate-stdenv-glibc
2022-05-27 17:56:19 +03:00
Artturin
c1fffdfffb
treewide: change some glibc to stdenv.cc.libc
2022-05-27 05:57:43 +03:00
Timo Kaufmann
d6ed7b20f4
Merge pull request #174139 from collares/sage-kernelspec
...
sage: fix passthru.kernelspec regression
2022-05-26 21:06:26 +02:00
Doron Behar
0d4aa93b26
Merge pull request #174586 from alyaeanyx/qalculate-4.2.0
2022-05-26 09:15:51 +03:00
R. Ryantm
6f241e6555
gmsh: 4.9.5 -> 4.10.2
2022-05-26 05:47:28 +00:00
Sandro
b9c9593a88
Merge pull request #173304 from IvarWithoutBones/bump/dotnetmodule
2022-05-26 00:26:18 +02:00
Mauricio Collares
8711501e96
sage: fix passthru.kernelspec regression
2022-05-25 14:54:52 -07: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
R. Ryantm
3ff99d8e4c
dcmtk: 3.6.6 -> 3.6.7
2022-05-25 16:48:38 +00:00
Artturin
0c4d65b21e
treewide: stdenv.glibc -> glibc
2022-05-25 15:51:20 +03:00
R. Ryantm
c1ab8c327a
clingo: 5.5.1 -> 5.5.2
2022-05-25 07:48:30 +00: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 318fae87c0
and f6c5761935
.
2022-05-21 17:52:39 +02:00
Sergei Trofimovich
eb0590ec3d
kssd: pull upstream fix for -fno-common tollchains
...
Without the change build fails on upstream gcc-10 as:
ld: ccD2iWhk.o:(.bss+0x8): multiple definition of `domain';
ccgA4lYl.o:(.bss+0x8): first defined here
ld: ccD2iWhk.o:(.bss+0x0): multiple definition of `long_domain';
ccgA4lYl.o:(.bss+0x0): first defined here
2022-05-21 11:22:53 +01: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