Commit Graph

6114 Commits

Author SHA1 Message Date
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
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
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