nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-09 13:43:50 +00:00
Code Issues Packages Projects Releases Wiki Activity
410,714 Commits 188 Branches 125 Tags 6.3 GiB
873728aca3
Commit Graph

6563 Commits

Author SHA1 Message Date
Vladimír Čunát
0879ac5da6
Merge branch 'master' into staging-next 2022-07-16 20:07:05 +02:00
Ben Siraphob
68c9333eb4
Merge pull request #176321 from siraben/smtcoq-fix 2022-07-16 09:27:57 -07:00
Ben Siraphob
49414ca907
Merge pull request #181622 from siraben/formula-mainprogram 2022-07-16 08:54:08 -07:00
Mario Rodas
279e1daf20
Merge pull request #180821 from r-ryantm/auto-update/nextinspace 
nextinspace: 2.0.3 -> 2.0.5
 2022-07-16 09:46:22 -05:00
Mario Rodas
ce3b7f17e6
Merge pull request #181078 from r-ryantm/auto-update/gmsh 
gmsh: 4.10.4 -> 4.10.5
 2022-07-16 09:13:37 -05:00
Lassulus
01853c3bcc
Merge pull request #174547 from r-ryantm/auto-update/delly 
delly: 0.9.1 -> 1.0.3
 2022-07-16 10:49:50 +02:00
github-actions[bot]
fa96a4fa79
Merge master into staging-next 2022-07-16 00:02:26 +00:00
yuuyins
877edc57d5
jflap: refactoring, add xdg desktop item (#173905) 
Co-authored-by: Sandro Jäckel <sandro.jaeckel@gmail.com>
 2022-07-16 01:39:21 +02:00
Pascal Wittmann
26ddf3454a
Merge pull request #138255 from natsukium/mafft/init 
mafft: init at 7.487
 2022-07-16 00:54:59 +02:00
Ben Siraphob
0a0006a9d8
formula: add mainProgram 2022-07-15 11:41:08 -07:00
github-actions[bot]
9f53d5cc15
Merge master into staging-next 2022-07-15 18:01:23 +00:00
Aiken Cairncross
d73e58de0a
vhd2vl: Fix executable name (#177493) 
* vhd2vl: Fix executable name

* vhd2vl: Fix tests

This partially reverts commit 5d44c9a222.
 2022-07-15 16:22:23 +02:00
Artturin
a584822577 treewide: fix fallout from 'cmake/setup-hook.sh: Don't skip build-RPATH' 
f7414e2
 2022-07-15 02:50:09 +03:00
thyol
0d6e3afdba diamond: update metadata 2022-07-13 12:33:33 +02:00
thyol
55853ae096 maintainers: add thyol 2022-07-13 12:30:44 +02:00
thyol
4e79b5e370 diamond: remove patch 2022-07-13 11:58:39 +02:00
thyol
5e765ecc68 diamond: 0.8.36 -> 2.0.15 2022-07-13 11:58:02 +02:00
Vladimír Čunát
8169a7fce0
Merge branch 'master' into staging-next 2022-07-13 09:57:41 +02:00
Rick van Schijndel
f73ff47ca9
Merge pull request #174451 from r-ryantm/auto-update/nengo-gui 
nengo-gui: 0.4.8 -> 0.4.9
 2022-07-12 23:25:08 +02:00
Artturin
83b4764dc3 treewide: fix fallout from 'cmake/setup-hook.sh: Don't skip build-RPATH' 
f7414e2b3a
 2022-07-12 18:25:19 +03:00
Jonas Heinrich
2349dd5cb2 graphia: 2.2 -> 3.0 2022-07-12 10:01:03 -04:00
Sandro
8785153a13
Merge pull request #180450 from wegank/lp_solve-aarch64-darwin 2022-07-12 14:56:55 +02:00
github-actions[bot]
5f2ff17a45
Merge master into staging-next 2022-07-11 18:01:16 +00:00
Thomas Tuegel
e1e0d5d513
Merge pull request #108496 from knedlsepp/cmake-rpath 
cmake/setup-hook.sh: Don't skip build-RPATH
 2022-07-11 10:18:47 -05:00
Claudio Bley
16a1651a4a gephi: 0.9.2 -> 0.9.6 
Gephi now requies Java 11+.
 2022-07-11 16:45:30 +02:00
Bobby Rong
13a310dc59
Merge pull request #180296 from r-ryantm/auto-update/bada-bib 
bada-bib: 0.6.2 -> 0.7.2
 2022-07-11 20:44:36 +08:00
R. Ryantm
76e20e84b6 gmsh: 4.10.4 -> 4.10.5 2022-07-11 10:54:53 +00:00
Mauricio Collares
b9854d669e nauty: 2.7r3 -> 2.7r4 2022-07-11 11:53:32 +02:00
Mauricio Collares
55a53e1dec sage: apply eclib 20220621 update patch 2022-07-11 10:53:15 +02:00
Bobby Rong
06e537ad60
bada-bib: add missing libadwaita and gtksourceview5 dependency 2022-07-11 13:46:57 +08:00
7c6f434c
c196afc04e
Merge pull request #180675 from collares/singular-4.3.1 
singular: 4.3.0 -> 4.3.1
 2022-07-10 23:22:38 +00:00
Théo Zimmermann
3ea8ed7d7e Split out CoqIDE by default when Coq >= 8.14. 2022-07-10 15:49:44 +02:00
Rick van Schijndel
654cb9069b
Merge pull request #180920 from smancill/gaw-platforms 
gaw: mark as Linux-only
 2022-07-10 13:45:01 +02:00
Sebastián Mancilla
fdfd961ee1 gaw: mark as Linux-only 
The error when building on Darwin is:

    sockcon.c:19:10: fatal error: 'linux/tcp.h' file not found

So, it uses Linux-specific headers.
 2022-07-09 23:34:54 -04:00
Sebastián Mancilla
9df44cc540 ginac: mark as unbroken on darwin 
Marked as broken by #173671 but builds and works fine on darwin, with
sandbox enabled.
 2022-07-09 22:58:48 -04:00
R. Ryantm
58d35e01aa nextinspace: 2.0.3 -> 2.0.5 2022-07-09 07:19:07 +00:00
Anderson Torres
e7c3f2b4de
Merge pull request #180535 from wegank/nvc-init 
nvc: init at 1.6.2
 2022-07-08 21:21:59 -03:00
Jannik Vierling
abf573a0c7 metis-prover: 2.3.20160713 -> 2.4.20200713 2022-07-08 22:22:33 +02:00
Théo Zimmermann
1014f00cff Prepare Coq derivation for Coq 8.17 build infrastructure. 2022-07-08 14:54:04 +02:00
R. Ryantm
4f64659d54 fast-downward: 21.12.0 -> 22.06.0 2022-07-08 09:59:52 +00:00
Mauricio Collares
bc41a593a5 singular: 4.3.0 -> 4.3.1 2022-07-08 11:24:03 +02:00
Weijia Wang
22c2fef365 nvc: init at 1.6.2 2022-07-08 07:22:45 +02:00
R. Ryantm
5ea1c721e1 delly: 0.9.1 -> 1.0.3 2022-07-07 22:10:48 +00:00
Jonas Heinrich
fc4b3a846d
klee: 2.2 -> 2.3 
* klee: 2.2 -> 2.3
 2022-07-07 09:18:27 -03:00
Weijia Wang
a64e151d26 lp_solve: fix build on aarch64-darwin 2022-07-07 09:59:39 +02:00
Rick van Schijndel
5cbfadba69
Merge pull request #178552 from jiegec/gtkwave-darwin 
gtkwave: support darwin build
 2022-07-07 09:04:12 +02:00
Justin Bedő
e120ef6a5a
Merge pull request #180294 from NixOS/r-updates 
R 4.2.0 -> 4.2.1 and bump package set
 2022-07-06 15:43:09 +10:00
R. Ryantm
4975868d54 bada-bib: 0.6.2 -> 0.7.2 2022-07-06 00:52:29 +00:00
R. RyanTM
200d8c500a
snakemake: 7.8.3 -> 7.8.5 (#179874) 2022-07-04 12:24:26 -04:00
Bobby Rong
be77a35772
Merge pull request #179905 from Luflosi/update/boinc 
boinc: 7.20.0 -> 7.20.1
 2022-07-04 21:26:48 +08:00
Sergei Trofimovich
8aaed36df3 archimedes: use latest toolchain, not gcc-6 
Without the change archimedes fails to build with latest toolchains as:

    ld: archimedes.c:(.text+0xdac7): undefined reference to `rnd'
    ld: archimedes.c:(.text+0xdeab): undefined reference to `rnd'
    ld: archimedes.c:(.text+0xdf13): undefined reference to `rnd'
    ld: archimedes.c:(.text+0xe3ef): undefined reference to `rnd'
    ld: archimedes.o:archimedes.c:(.text+0xe456): more undefined references to `rnd' follow
    ld: archimedes.o: in function `EMC':
    archimedes.c:(.text+0xf11b): undefined reference to `creation'
    ld: archimedes.c:(.text+0xf5f5): undefined reference to `creation'
    ld: archimedes.c:(.text+0xf826): undefined reference to `creation'
    ld: archimedes.c:(.text+0xf9ce): undefined reference to `creation'

The change happens to fix build against clang as well.
 2022-07-04 08:20:07 +01:00
Josef Kemetmüller
bcd7045998 treewide: Remove now-unneeded LD_LIBRARY_PATH in cmake derivations 
Since the setting DCMAKE_SKIP_BUILD_RPATH was disabled, we can now run
the checkPhase of cmake derivations without having to tweak the
LD_LIBRARY_PATH anymore.
 2022-07-04 03:49:01 +03:00
Josef Kemetmüller
1ca04aa9f1 treewide: Stop setting CMAKE_SKIP_BUILD_RPATH=OFF 
This is now the new default and thus doesn't need to be set manually
anymore.
 2022-07-04 03:49:01 +03:00
Ben Wolsieffer
8927d4d9e7 qgroundcontrol: 4.2.1 -> 4.2.3 2022-07-03 17:39:00 -04:00
tilcreator
61f6ac995d qgroundcontrol: Fix gst dependencies 2022-07-03 13:27:12 +02:00
Luflosi
6eea86625e
boinc: 7.20.0 -> 7.20.1 
https://github.com/BOINC/boinc/releases/tag/client_release%2F7.20%2F7.20.1
 2022-07-02 15:56:06 +02:00
Sandro Jäckel
a2dfde58bc
Revert "sage: link doc in jupyter kernel" 
This reverts commit 9a409fc502.
 2022-07-01 19:41:35 +02:00
7c6f434c
3614186dd6
Merge pull request #178895 from collares/sage-notebook 
sage: depend on python3Packages.notebook
 2022-07-01 16:43:34 +00:00
7c6f434c
95d4ce2175
Merge pull request #164048 from hqurve/jupyter-extra-paths 
Jupyter kernel: link extra paths and fix missing docs in sagemath jupyter
 2022-07-01 16:43:02 +00:00
Bobby Rong
54503f0e7f
Merge pull request #178505 from evils/kicad-unstable 
kicad-unstable: 2022-05-06 -> 2022-06-21
 2022-06-30 19:58:26 +08:00
Bobby Rong
f99a7033ff
Merge pull request #178501 from evils/kicad-6.0.6 
kicad: 6.0.5 -> 6.0.6
 2022-06-30 19:45:21 +08:00
ajs124
0aac41a5d9 maintainers: remove winden 
no github account linked
 2022-06-29 00:52:14 +02:00
ajs124
3b5f125515 maintainers: remove metabar 
no github account + only commit is 78c052e91a
 2022-06-29 00:52:13 +02:00
ajs124
91b724c66d maintainers: remove danharaj 
github account deleted
 2022-06-29 00:52:13 +02:00
Mario Hros
0570ae054a openboardview: init at 9.0.3 2022-06-27 20:48:38 +02:00
Giacomo
22bccbcd97
Update perseus 
delete space
 2022-06-27 10:08:55 +02:00
Jiajie Chen
0aec6813da gtkwave: support darwin build 
Import two upstream commits to fix compilation under darwin
 2022-06-27 15:58:49 +08:00
github-actions[bot]
b1e76b5db1
Merge master into staging-next 2022-06-27 00:02:25 +00:00
Giacomo
cd52b6d893
Update 
delete mrbitt maintainers
 2022-06-27 00:27:46 +02:00
Giacomo
923e4415d2
Update perseus 
add space in line 17
 2022-06-26 23:50:03 +02:00
Giacomo
1639e10d34
Update perseus 
new   url --> http://people.maths.ox.ac.uk/nanda/perseus/index.html
add   NIX_CFLAGS_COMPILE = [ "-std=c++14" ];  # Otherwise it does not compile
 2022-06-26 23:35:42 +02:00
Mario Rodas
c79d9826da
Merge pull request #179128 from r-ryantm/auto-update/gmsh 
gmsh: 4.10.2 -> 4.10.4
 2022-06-26 16:33:01 -05:00
Ivv
f3b81e3229
Merge pull request #178481 from siraben/formula-update 
formula: update, add update script and unbreak darwin
 2022-06-26 21:10:36 +02:00
github-actions[bot]
d77dd87222
Merge master into staging-next 2022-06-26 12:01:16 +00:00
Bobby Rong
5837cc7d69
Merge pull request #165866 from r-ryantm/auto-update/ginac 
ginac: 1.8.2 -> 1.8.3
 2022-06-26 16:47:17 +08:00
R. Ryantm
6b4e69e7e4 gmsh: 4.10.2 -> 4.10.4 2022-06-26 00:27:54 +00:00
github-actions[bot]
aa36d9ee78
Merge master into staging-next 2022-06-26 00:02:17 +00:00
Doron Behar
07328220b6
mathematica: set QT_QPA_PLATFORM to xcb (#178991) 2022-06-25 18:17:44 +00:00
github-actions[bot]
62b079eb5d
Merge master into staging-next 2022-06-25 12:01:16 +00:00
Martin Weinelt
2031ca4a25
Merge pull request #178569 from eintim/betaflight-configurator 2022-06-25 12:24:50 +02:00
Mauricio Collares
f025b2340b sage: depend on python3Packages.notebook 2022-06-25 08:25:32 +02:00
Justin Bedo
8f1e861f4b
R: 4.2.0 -> 4.2.1 2022-06-25 09:00:28 +10:00
Will Dietz
d926f00526 verilator: 4.222 -> 4.224 
https://github.com/verilator/verilator/blob/v4.224/Changes
 2022-06-24 12:26:25 -05:00
github-actions[bot]
5b9ee17283
Merge master into staging-next 2022-06-24 00:02:29 +00:00
Lassulus
c58d141dcc
Merge pull request #177268 from Luflosi/update/boinc 
boinc: 7.18.1 -> 7.20.0
 2022-06-23 21:14:33 +02:00
Rick van Schijndel
c100196b08
Merge pull request #176823 from risicle/ris-native-source-provenance-applications 
treewide/applications: add `sourceType` `binaryNativeCode` for many packages
 2022-06-23 20:55:09 +02:00
github-actions[bot]
4f79f81d47
Merge master into staging-next 2022-06-23 18:01:15 +00:00
Robert Scott
070028a960 fahcontrol: remove autoPatchelfHook argument 
this is confusing as it is not used - the package .deb only contains
python (and bash)
 2022-06-23 18:38:23 +01:00
Robert Scott
466c2e342a treewide/applications: add sourceType binaryNativeCode for many packages 2022-06-23 18:38:19 +01:00
Shea Levy
c4f2260cdb
isabelle: Fix build on darwin 2022-06-23 13:24:53 -04:00
Shea Levy
4d781f329d
z3_4_4_0: Fix build on darwin. 2022-06-23 12:40:46 -04:00
Ben Siraphob
354c51a748
formula: unmark as broken on darwin 2022-06-22 17:04:55 -07:00
Ben Siraphob
c76653603c
formula: unstable-2022-02-02 -> unstable-2022-06-20 2022-06-22 17:04:55 -07:00
Ben Siraphob
7071d43fd3
formula: add update script 2022-06-22 17:04:53 -07:00
github-actions[bot]
506a80a667
Merge staging-next into staging 2022-06-23 00:02:43 +00:00
Hernan Rajchert
ef22f5fd93
veriT: Fix build on macos 2022-06-22 16:57:33 -03:00
eintim
0b84278e00 betaflight-configurator: 10.7.2 -> 10.8.0 2022-06-22 14:19:19 +02:00
github-actions[bot]
30c9243acc
Merge staging-next into staging 2022-06-22 00:03:15 +00:00
Evils
6a66c08222 kicad-unstable: 2022-05-06 -> 2022-06-21 
contains fix for upstream issue 9888 (intermittent test failure)
 2022-06-22 00:11:15 +02:00
R. Ryantm
671aeb2769 snakemake: 7.8.2 -> 7.8.3 2022-06-21 19:01:53 +00:00
Evils
a746fa431d kicad: 6.0.5 -> 6.0.6 2022-06-21 20:36:17 +02:00
github-actions[bot]
8fe94dceb1
Merge staging-next into staging 2022-06-21 06:02:15 +00:00
Anderson Torres
97f37b6e05
Merge pull request #178307 from Luflosi/update/yosys 
yosys: 0.16 -> 0.18
 2022-06-20 22:35:38 -03:00
github-actions[bot]
8c4cc99917
Merge staging-next into staging 2022-06-20 18:01:47 +00:00
Ivv
71003947fc
Merge pull request #177991 from mdarocha/dotnet-6-update 
dotnet-sdk: 6.0.300 -> 6.0.301
 2022-06-20 19:56:52 +02:00
github-actions[bot]
8637d8e56f
Merge staging-next into staging 2022-06-20 12:01:56 +00:00
Luflosi
f4a768e251
abc-verifier: 2022.03.22 -> 2022.05.06 2022-06-20 10:40:17 +02:00
Robert Scott
444d3a825a treewide/python-modules: add sourceProvenance for several packages 2022-06-20 09:43:10 +02:00
github-actions[bot]
8c7f102a14
Merge staging-next into staging 2022-06-18 18:01:45 +00:00
github-actions[bot]
5ee636b083
Merge master into staging-next 2022-06-18 18:01:12 +00:00
Bobby Rong
e88df1605b
Merge pull request #177930 from lschuermann/dev/update/horizon-eda-2.3.1 
horizon-eda: 2.3.0 -> 2.3.1
 2022-06-18 22:18:08 +08:00
github-actions[bot]
358f18f4c3
Merge staging-next into staging 2022-06-18 07:06:46 +00:00
Sergei Trofimovich
5ee88ab21d Merge master into staging-next 2022-06-18 08:00:58 +01:00
github-actions[bot]
f40a25207d
Merge staging-next into staging 2022-06-18 00:02:27 +00:00
Sandro
b2e046efae
Merge pull request #176852 from trofi/workaround-fno-common-for-fped 
fped: add -fcommon workaround
 2022-06-17 22:14:21 +02:00
Sandro
35ab974a22
Merge pull request #178031 from veprbl/pr/dawn_init 
dawn: init at 3.91a
 2022-06-17 21:10:39 +02:00
Jan Tojnar
222bf23c35 Merge branch 'master' into staging-next 
; Conflicts:
;	pkgs/top-level/python-packages.nix
 2022-06-17 20:30:43 +02:00
kilianar
a78297f569
wxmaxima: 22.03.0 -> 22.05.0 (#177610) 2022-06-17 17:16:30 +00:00
markuskowa
c04bd7e2e2
Merge pull request #178013 from markuskowa/upd-molcas 
openmolcas: 22.02 -> 22.06
 2022-06-17 17:03:13 +02:00
Dennis Gosnell
1216d8e7ab
Merge pull request #176788 from NixOS/haskell-updates 
haskellPackages: update stackage and hackage
 2022-06-17 22:42:52 +09:00
github-actions[bot]
8ac32ac4de
Merge staging-next into staging 2022-06-17 12:01:56 +00:00
github-actions[bot]
f6b0f94b9e
Merge master into staging-next 2022-06-17 12:01:21 +00:00
Markus Kowalewski
432ddab26f
openmolcas: 22.02 -> 22.06 2022-06-17 13:49:13 +02:00
Dennis Gosnell
529de76e8a
tamarin-prover: remove darwin from hydraPlatforms 2022-06-17 19:20:10 +09:00
Markus Kowalewski
b4c6da2ee5
gromacs: 2022.1 -> 2022.2 2022-06-17 10:54:56 +02:00
mdarocha
e8eb946183 formula: update dependencies 2022-06-17 10:12:42 +02:00
github-actions[bot]
5e3a16c8af
Merge staging-next into staging 2022-06-17 06:01:47 +00:00
github-actions[bot]
c2c4d2b8fa
Merge master into staging-next 2022-06-17 06:01:10 +00:00
Mario Rodas
b35e161247
Merge pull request #177729 from kilianar/kstars 
kstars: 3.5.8 -> 3.5.9
 2022-06-16 22:32:51 -05:00
Dmitry Kalinkin
3e4d46ba0a
dawn: init at 3.91a 2022-06-16 19:05:08 -04:00
Leon Schuermann
0f89a22e70 horizon-eda: 2.3.0 -> 2.3.1 2022-06-16 23:05:11 +02:00
kilianar
8289230b47 gama: 2.17 -> 2.19 2022-06-16 13:56:09 +02:00
github-actions[bot]
ca38c61118
Merge staging-next into staging 2022-06-16 00:02:52 +00:00
github-actions[bot]
d1886be475
Merge master into staging-next 2022-06-16 00:02:14 +00:00
Guillaume Girol
c30e557de4
Merge pull request #176238 from symphorien/giac-browser 
giac-with-xcas: fix command to open help inside browser
 2022-06-15 20:39:13 +00:00
Sergei Trofimovich
206b2cfd22
Merge pull request #176253 from trofi/fetchzip-forced-UTF-8 
fetchzip: force UTF-8 compatible locale to unpack non-ASCII symbols
 2022-06-15 18:32:41 +00:00
kilianar
821ac01d3d kstars: 3.5.8 -> 3.5.9 2022-06-15 09:20:19 +02:00
github-actions[bot]
153ddcc04c
Merge master into staging-next 2022-06-13 12:01:23 +00:00
FliegendeWurst
04f2eb1b0a mathematica: mark meta.sourceProvenance 2022-06-13 18:55:15 +08:00
Sergei Trofimovich
739ab383a5 coq_8_13.src, coq_8_14.src, coq_8_15.src: update hash change with fetchzip update 
fetchzip changed unpacking of UTF-8 files on glibc systems:
    https://github.com/NixOS/nixpkgs/pull/176253
As a result unpacked contents changed it's filenames.

Closes: https://github.com/NixOS/nixpkgs/issues/176225
 2022-06-11 17:16:43 +01:00
github-actions[bot]
1ff1108cce
Merge master into staging-next 2022-06-11 12:01:21 +00:00
Sergei Trofimovich
1c838684de
Merge pull request #176437 from trofi/fix-fno-common-for-geda 
geda: pull upstream fixes for -fno-common toolchains
 2022-06-11 11:23:30 +00:00
Luflosi
0045581c23
boinc: 7.18.1 -> 7.20.0 
https://github.com/BOINC/boinc/releases/tag/client_release%2F7.20%2F7.20.0
 2022-06-11 11:26:45 +02:00
github-actions[bot]
3540574f91
Merge master into staging-next 2022-06-10 18:01:27 +00:00
R. Ryantm
acf23020f0 snakemake: 7.8.1 -> 7.8.2 2022-06-09 19:49:56 +00:00
Martin Weinelt
6451e9d4a5 Merge remote-tracking branch 'origin/staging-next' into staging 2022-06-08 22:22:26 +02:00
Martin Weinelt
351556ffac
Merge pull request #175805 from NixOS/python-updates 
Python Updates 2022-06-01 (was: python3: 3.9 -> 3.10)
 2022-06-08 20:28:39 +02:00
Pierre Roux
ecf2791d8b coq_8_16: init at 8.16+rc1 2022-06-08 18:42:10 +02:00
Sergei Trofimovich
2f9d125d58 gpredict: pull upstream fix for -fno-common toolchains 
Without the change build fails on upstream gcc-10 as:

    ld: save-pass.o:src/qth-data.h:36: multiple definition of
       `qth_data_type'; gtk-azel-plot.o:src/qth-data.h:36: first defined here
 2022-06-08 09:04:20 +01:00
Sergei Trofimovich
4c33f198e3 fped: add -fcommon workaround 
Workaround build failure on -fno-common toolchains like upstream
gcc-10. Otherwise build fails as:

    ld: postscript.o:postscript.h:29: multiple definition of
      `postscript_params'; fped.o:postscript.h:29: first defined here
 2022-06-08 08:32:57 +01:00
Sandro Jäckel
0f14467d44
MACS2: mark broken 2022-06-06 11:46:22 -07:00
Rick van Schijndel
3037752d1d
Merge pull request #175961 from helsinki-systems/rem/broken 
remove some packages marked broken for over 1.5 years
 2022-06-06 20:44:39 +02:00
Ben Siraphob
d6f311f306
zchaff: 2004.5.13 -> 2007.3.12 2022-06-05 23:22:06 -07:00
Sergei Trofimovich
8b7b76a612 geda: pull upstream fixes for -fno-common toolchains 
Without the change builda fails on upstream gcc-10 as:

    ld: gattrib/src/../include/globals.h:97:
      multiple definition of `window'; gattrib/src/../include/globals.h:97: first defined here
 2022-06-05 19:42:55 +01:00
Vincent Laporte
1b95daa381 alt-ergo: ensure compatibility with Menhir ≥ 20211215 2022-06-05 15:44:28 +02:00
Robert Scott
53573e4866
Merge pull request #176278 from risicle/ris-jar-source-provenance 
treewide: set `sourceProvenance` for packages containing downloaded jars
 2022-06-05 12:04:38 +01:00
Luz
a001dc6e37 ngspice: 36 -> 37 2022-06-05 12:58:26 +02:00
Robert Scott
3b6bc4b69c treewide: set sourceProvenance for packages containing downloaded jars 
these are the easily identifiable cases and will not be comprehensive
 2022-06-04 19:47:57 +01:00
Sergei Trofimovich
60ba187b0f gravit: pull fix pending upstream inclusion for -fno-common toolchains 
Without the change build fails on upstream gcc-10 as:

    ld: tool.o:(.bss+0x0): multiple definition of `view'; color.o:(.bss+0x0): first defined here
    ld: tool.o:(.bss+0x820): multiple definition of `video'; color.o:(.bss+0x820): first defined here
    ld: png_save.o:(.bss+0x0): multiple definition of `view'; color.o:(.bss+0x0): first defined here
 2022-06-04 07:02:41 +01:00
Vincent Laporte
442db9429b coq: 8.15.1 → 8.15.2 2022-06-03 10:45:45 +02:00
Sergei Trofimovich
fd48676596
Merge pull request #175259 from trofi/workaround-fno-common-for-svaba 
svaba: add -fcommon workaround
 2022-06-03 05:59:16 +00:00
ajs124
5d42a4bf7e scilab: remove after being marked broken for over 18 months 
It was marked in commit 2bc87d48f1 by Kirill Boltaev on 2016-09-19 (commited on 2016-09-26)
 2022-06-02 18:03:52 +02:00
Bobby Rong
e5fd1f69cf
Merge pull request #174881 from r-ryantm/auto-update/mavproxy 
mavproxy: 1.8.49 -> 1.8.50
 2022-06-02 22:48:45 +08:00
R. Ryantm
e9fb739e59 snakemake: 7.8.0 -> 7.8.1 2022-06-02 01:20:40 +00:00
Sandro
06e6b81e98
Merge pull request #175625 from collares/fpylll 
python3Packages.fpylll: unmark as broken on darwin
 2022-06-01 17:04:28 +02:00
Guillaume Girol
2f62b09ac8 giac-with-xcas: fix command to open help inside browser 2022-06-01 12:00:00 +00:00
Ben Siraphob
b5827f1033
Merge pull request #175700 from siraben/cvc4-darwin 
cvc4: fix build on darwin
 2022-06-01 08:09:45 +00:00
Ben Siraphob
583a2312e4
cvc4: fix build on darwin 
Dependency on cln is optional
 2022-05-31 23:56:18 -07:00
Ben Siraphob
eb33086520
Merge pull request #164779 from collares/lean2 2022-06-01 06:16:17 +00:00
Mauricio Collares
268d1c2826 pari: mark as broken on aarch64-darwin 2022-05-31 19:26:14 -06:00
Sandro
0950dcd37b
Merge pull request #174261 from LumiGuide/lumi-team 
picoscope, openrazer, it87, esptool: move maintainership to new LumiGuide team
 2022-05-31 15:40:04 +02:00
ckie
958fcfb4fa
Merge pull request #175477 from bzizou/astral 
astral: init at 5.7.1
 2022-05-31 14:55:37 +03:00
Bruno Bzeznik
376897ced3 astral: init at 5.7.1 2022-05-31 09:03:24 +02:00
R. RyanTM
7a54d237e0
snakemake: 7.7.0 -> 7.8.0 (#174592) 2022-05-30 10:51:36 -04:00
Janne Heß
bfc5086ae9
Merge pull request #173671 from Mindavi/treewide/broken-zhf 
treewide: start marking packages broken
 2022-05-30 14:10:43 +02:00
Rick van Schijndel
433701147a
treewide: pkgs/applications: mark broken for aarch64-linux 2022-05-30 13:42:58 +02:00
Rick van Schijndel
a0dd8198cd
speedcrunch: mark broken on darwin 2022-05-30 13:42:58 +02:00
Bruno Bzeznik
c15d568d0b iqtree: init at 2.2.0.4 2022-05-30 10:53:40 +02:00
Sergei Trofimovich
53591dcd4d
Merge pull request #173021 from trofi/fix-fno-common-for-gerbv 
gerbv: pull fix pending upstream inclusion for -fno-common toolchains
 2022-05-29 15:52:56 +00:00
Rick van Schijndel
37c633f7ae treewide: pkgs/applications: mark broken for darwin 2022-05-29 10:56:04 +02:00
Rick van Schijndel
90869787c5 boinc: mark broken for aarch64 2022-05-29 10:56:03 +02:00
Rick van Schijndel
5e1adacaf0 aspino: mark broken for x86_64 Darwin 
Been broken for a few years already too.
 2022-05-29 10:56:02 +02:00
Sergei Trofimovich
2f60be03bb svaba: add -fcommon workaround 
Workaround build failure on -fno-common toolchains like upstream
gcc-10. Otherwise build fails as:

    ld: ./libfml.a(rle.o):/build/source/SeqLib/fermi-lite/rle.h:33: multiple definition of
      `rle_auxtab'; ./libfml.a(misc.o):/build/source/SeqLib/fermi-lite/rle.h:33: first defined here
 2022-05-29 08:07:23 +01:00
Vincent Laporte
5637570f51 ocamlPackages: rename sedlex_2 into sedlex 2022-05-29 08:48:00 +02:00
Anderson Torres
1b2e9ca249
Merge pull request #175044 from collares/pari-2.13.4 
pari: 2.13.3 -> 2.13.4
 2022-05-28 18:45:26 -03:00
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
9e22a36080 pari: 2.13.3 -> 2.13.4 2022-05-27 16:42:28 -07: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
R. Ryantm
c762acd8f1 mavproxy: 1.8.49 -> 1.8.50 2022-05-27 07:52:03 +00: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
2582a1bfce nengo-gui: 0.4.8 -> 0.4.9 2022-05-25 09:22:12 +00: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
Yorick van Pelt
0924b1863c
picoscope, openrazer, it87, esptool: move maintainership to LumiGuide 
I no longer work there, but I inherited a few package maintainerships.
 2022-05-24 12:16:25 +02: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
Mauricio Collares
8fdfe10bcf lean2: 2017-07-22 -> 2018-10-01, unbreak 2022-05-21 16:06:51 -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
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
github-actions[bot]
e2602ad62e
Merge staging-next into staging 2022-05-16 00:04:11 +00:00
Mauricio Collares
26a87ada65 sage: 9.5 -> 9.6 2022-05-15 19:23:40 -04:00
Dmitry Kalinkin
8e24a6db2e nnpdf: init at 4.0.4 2022-05-15 16:00:00 -07:00
Mauricio Collares
10b16ea5e7 sageWithDoc: make jupyter-sphinx available for docbuild 2022-05-15 12:45:25 -04:00
Mauricio Collares
09ab2aba13 lrcalc: 1.2 -> 2.1 2022-05-15 12:45:24 -04:00
Jan Tojnar
d1b77f990f Merge branch 'staging-next' into staging 
Conflicts:
	pkgs/applications/networking/browsers/firefox/common.nix between f6c5761935 and a373324120.
 2022-05-15 07:08:29 +02:00
Jörg Thalheim
3d4109f3a4
Merge pull request #172588 from res0Nanz/patch-1 
wolfram-engine: fix quotes in installation script
 2022-05-14 19:27:38 +01:00
AndersonTorres
91621176e0 primecount: 7.2 -> 7.3 2022-05-14 11:01:08 -03:00
AndersonTorres
d488388cfc primesieve: 7.8 -> 7.9 2022-05-14 10:56:13 -03:00
Sergei Trofimovich
0b3eecc56f gerbv: pull fix pending upstream inclusion for -fno-common toolchains 
Without the change build fails on upstream gcc-10 as:

    ld: interface.o:/build/gerbv/src/callbacks.h:50: multiple definition of
      `toggle_layer'; callbacks.o:/build/gerbv/src/callbacks.h:50: first defined here
    ld: interface.o:/build/gerbv/src/callbacks.h:44: multiple definition of
      `CALLBACKS_SAVE_FILE_TYPE'; callbacks.o:/build/gerbv/src/callbacks.h:44: first defined here
    ld: render.o:/build/gerbv/src/callbacks.h:44: multiple definition of
      `CALLBACKS_SAVE_FILE_TYPE'; callbacks.o:/build/gerbv/src/callbacks.h:44: first defined here
 2022-05-14 13:41:11 +01:00
Sergei Trofimovich
deaab56289 freebayes: add -fcommon workaround 
Workaround build failure on -fno-common toolchains like upstream
gcc-10. Otherwise build fails as:

    ld: foomatic_rip-options.o:/build/foomatic-filters-4.0.17/options.c:49: multiple definition of `cupsfilter';
      foomatic_rip-foomaticrip.o:/build/foomatic-filters-4.0.17/foomaticrip.c:158: first defined here
 2022-05-14 13:19:17 +01:00
Sergei Trofimovich
d45dfee2d6 eukleides: add -fcommon workaround 
Workaround build failure on -fno-common toolchains like upstream
gcc-10. Otherwise build fails as:

    ld: eukleides_build/triangle.o:(.bss+0x28): multiple definition of `A';
        eukleides_build/quadrilateral.o:(.bss+0x18): first defined here
 2022-05-14 10:28:22 +01:00
tomberek
ca885c3ac1
Merge pull request #172933 from armeenm/bump-alliance 
alliance: unstable-2021-09-15 -> unstable-2022-01-13
 2022-05-14 00:25:21 -04:00
Armeen Mahdian
d912addd5a alliance: unstable-2021-09-15 -> unstable-2022-01-13 2022-05-13 17:18:09 -05:00
Sergei Trofimovich
ff22bc1ff6 chemtool: add -fcommon workaround 
Workaround build failure on -fno-common toolchains like upstream
gcc-10. Otherwise build fails as:

    ld: inout.o:/build/chemtool-1.6.14/ct1.h:279: multiple definition of
      `outtype'; draw.o:/build/chemtool-1.6.14/ct1.h:279: first defined here
 2022-05-13 21:30:28 +01:00
github-actions[bot]
fe71877bbd
Merge staging-next into staging 2022-05-13 18:03:04 +00:00
Gabriel Ebner
d04ae3049e
Merge pull request #172885 from armeenm/fix-aspino 
aspino: 2017-03-09 -> 2018-03-24
 2022-05-13 18:39:20 +02:00
markuskowa
78075c4443
Merge pull request #172868 from markuskowa/upd-molcas 
openmolcas: 21.10 -> 22.02
 2022-05-13 18:07:39 +02:00
Armeen Mahdian
f779b60d20 aspino: 2017-03-09 -> 2018-03-24 2022-05-13 10:53:37 -05:00
Markus Kowalewski
45083c5d1d
openmolcas: 21.10 -> 22.02 
* make MPI optional instead of default
* allow optional MKL build/switch wrapped BLAS interface
 2022-05-13 17:06:11 +02:00
Sandro
741d2d2578
Merge pull request #172846 from LeSuisse/bayescan-c++14-zhf 
bayescan: fix the build
 2022-05-13 17:03:05 +02:00
Guanpeng Xu
cefda1c7ca
Mathematica: refactored (#172136) 2022-05-13 14:16:50 +00:00
github-actions[bot]
814126147f
Merge staging-next into staging 2022-05-13 12:02:03 +00:00
Thomas Gerbet
44c1590f1f bayescan: fix the build 
Moved back to C++14 to avoid the new errors and warnings introduced with
C++17.
 2022-05-13 12:00:08 +02:00
Philipp Middendorf
93332c2779 CrystFEL: init at 0.10.1 2022-05-13 07:09:53 +02:00
Vincent Laporte
1f11888116 Revert "coqPackages: etc" 
This reverts commit 7e589a45ef.
 2022-05-13 06:47:14 +02:00
Vincent Laporte
215235cce5 Revert "moving findlib to propagedNativeBuildInputs" 
This reverts commit 82440c9374.
 2022-05-13 06:47:14 +02:00
github-actions[bot]
d79af4efe4
Merge staging-next into staging 2022-05-13 00:03:35 +00:00
Thiago Kenji Okada
5c5187646d
Merge pull request #172366 from ncfavier/wrappers-cleanup 
make{,Binary}Wrapper: some cleanups
 2022-05-12 22:17:34 +01:00
Thiago Kenji Okada
eae1669de5
Merge pull request #171836 from ncfavier/escape-wrapper-args 
Fix wrapper arguments escaping
 2022-05-12 21:55:06 +01:00
Thomas Gerbet
1ba72de384 ripser: 1.0.0 -> 1.2.1 
https://github.com/Ripser/ripser/releases/tag/v1.0.1
https://github.com/Ripser/ripser/releases/tag/v1.1
https://github.com/Ripser/ripser/releases/tag/v1.2
https://github.com/Ripser/ripser/releases/tag/v1.2.1
 2022-05-12 08:26:44 -07:00
Naïm Favier
3c77d361b5
makeShellWrapper: add explicitly named attribute 
So that things that use the makeShellWrapper/wrapProgramShell
functions can depend on makeShellWrapper explicitly, which should ease
migration in the future.
 2022-05-12 11:01:23 +02:00
Thiago Kenji Okada
1919e181fb
Merge pull request #172641 from WolfangAukang/monosat-fix 
python3Packages.monosat: disable failing tests
 2022-05-12 10:01:16 +01:00
Rick van Schijndel
716bc55f98
Merge pull request #172443 from a-m-joseph/pr/zhf/vhd2vl 
vhd2vl: fix the tests
 2022-05-12 10:06:04 +02:00
Adam Joseph
5d44c9a222 vhd2vl: fix the tests 
The testing scheme for vhd2vl is sensitive to subtle shifts in
iverilog's parenthesization choices, meaning that the golden test
outputs require constant maintenance.

The patch previously applied in order to deal with this situation is
no longer sufficient, so a patch which is sufficient has been added.

Also, the `buildTargets` and `checkTarget` attributes have been set,
so future benign failures of this sort can be dealt with through
`doCheck=false` in a pinch.
 2022-05-11 23:59:59 -07:00
Cyril Cohen
82440c9374 moving findlib to propagedNativeBuildInputs 2022-05-12 06:11:43 +02:00
Cyril Cohen
7e589a45ef coqPackages: etc 
- use propagatedBuildInputs to make sure ocaml plugin stuff is 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-12 06:11:43 +02:00
P. R. d. O
17be6f75ce
python3Packages.monosat: disable failing tests 2022-05-11 18:29:58 -06:00
Sandro
324a5be95c
Merge pull request #172580 from collares/singular-osx 
singular: fix darwin build
 2022-05-12 01:33:52 +02:00
Yu-Chen Ding
e98f71d477
wolfram-engine: fix quotes in installation script 2022-05-12 01:29:53 +08:00
Mauricio Collares
15cf12c0ac singular: fix darwin build 2022-05-11 12:08:20 -04:00