nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-12 00:33:10 +00:00
Code Issues Packages Projects Releases Wiki Activity
409,914 Commits 187 Branches 125 Tags 8.6 GiB
8b3a9a1efa
Commit Graph

6557 Commits

Author SHA1 Message Date
R. Ryantm
799328334d fricas: 1.3.7 -> 1.3.8 2022-07-30 16:58:18 +00:00
R. Ryantm
bd16430883 emuflight-configurator: 0.4.0 -> 0.4.1 2022-07-30 04:44:30 +00:00
Bobby Rong
ac95058e3c
Merge pull request #183276 from r-ryantm/auto-update/cvc5 
cvc5: 1.0.0 -> 1.0.1
 2022-07-30 10:50:46 +08:00
R. Ryantm
344c2740e1 primesieve: 7.9 -> 8.0 2022-07-29 17:22:15 +00:00
R. Ryantm
faa6e41b2a primecount: 7.3 -> 7.4 2022-07-29 17:15:11 +00:00
R. Ryantm
9338d8c9b7 picard-tools: 2.26.11 -> 2.27.4 2022-07-29 16:12:10 +00:00
R. Ryantm
33d34d205c opensmt: 2.3.1 -> 2.4.1 2022-07-29 14:26:39 +00:00
Mauricio Collares
6105375c1e sageWithDoc: remove deprecation patch, add sphinx 5 update patch 2022-07-28 17:29:53 -03:00
R. Ryantm
8ecdb52267 graphia: 3.0 -> 3.1 2022-07-28 13:49:36 +00:00
R. Ryantm
f238ea8ee8 cvc5: 1.0.0 -> 1.0.1 2022-07-28 10:49:58 +00:00
R. Ryantm
8c0e56fc14 angsd: 0.937 -> 0.938 2022-07-28 07:50:11 +00:00
Ryan Mulligan
8c2abe0837
Merge pull request #182353 from r-ryantm/auto-update/MAVProxy 
mavproxy: 1.8.50 -> 1.8.52
 2022-07-27 20:53:01 -07:00
Justin Bedő
9e80da74b0
Merge pull request #182028 from jbedo/bedops 
bedops: 2.4.40 -> 2.4.41
 2022-07-28 09:14:23 +10:00
Ben Darwin
a39c8ddb1f mcrl2: 201707 -> 202206 2022-07-27 01:25:01 -04:00
Ben Darwin
125da19866 mni_autoreg: unstable-2017-02-22 -> unstable-2022-05-20 2022-07-26 16:03:12 -04:00
Mario Rodas
0f87b2b305
Merge pull request #181123 from avdv/gephi-0.9.6 
gephi: 0.9.2 -> 0.9.6
 2022-07-24 16:08:03 -05:00
Artturi
aeed5a4f93
Merge pull request #179584 from Artturin/fmtupdate 2022-07-22 21:24:12 +03:00
Robert Scott
0b7947c963
Merge pull request #182349 from r-ryantm/auto-update/snakemake 
snakemake: 7.8.5 -> 7.9.0
 2022-07-21 21:35:04 +01:00
Gabriel Ebner
ec71376b1c
Merge pull request #179568 from collares/lean-3.44.1 
lean: 3.43.0 -> 3.45.0
 2022-07-21 19:04:45 +02:00
Mauricio Collares
2646dae16e lean: 3.44.1 -> 3.45.0 2022-07-21 13:03:03 -03:00
Mauricio Collares
b394165a8a lean: 3.44.0 -> 3.44.1 2022-07-21 12:52:30 -03:00
Mauricio Collares
f1fe61ba70 lean: 3.43.0 -> 3.44.0 2022-07-21 12:52:30 -03:00
R. Ryantm
f9881742e3 mavproxy: 1.8.50 -> 1.8.52 2022-07-21 15:34:32 +00:00
R. Ryantm
7a5b52ff26 snakemake: 7.8.5 -> 7.9.0 2022-07-21 15:24:14 +00:00
Bobby Rong
b536142220
Merge pull request #181946 from Luflosi/update/boinc 
boinc: 7.20.1 -> 7.20.2
 2022-07-21 20:01:43 +08:00
Ben Siraphob
0952243f1f
Merge pull request #182056 from jiegec/cvc3-darwin 2022-07-20 23:12:29 -07:00
Jiajie Chen
fa917a6f8c cvc3: unbreak on aarch64-darwin 
Disable stackprotector on aarch64-darwin.
 2022-07-21 08:09:26 +08:00
Dmitry Kalinkin
3518b4ac5a
Merge pull request #182037 from veprbl/pr/root_6_26_04 
root: 6.24.06 -> 6.26.04
 2022-07-20 17:50:18 -04:00
Robert Scott
6d626b5e11
Merge pull request #182062 from jiegec/hal-hardware-analyzer 
hal-hardware-analyzer: fix build with python 3.10
 2022-07-20 19:22:04 +01:00
Winter
dd4fe67ac0
Merge pull request #182038 from natsukium/dssp/init 
dssp: init at 4.0.5
 2022-07-20 01:06:16 -04:00
Jiajie Chen
7519d550fa hal-hardware-analyzer: fix build with python 3.10 
The build fails with Python 3.10. Applied upstream pr to fix it.
 2022-07-20 08:29:28 +08:00
Artturin
9f86e929b0 openroad: 2.0 -> unstable-2022-07-19 2022-07-19 20:48:54 +03:00
Artturin
6b8c65acd9 treewide: fix fallout from 'cmake/setup-hook.sh: Don't skip build-RPATH' 2022-07-19 17:47:13 +03:00
natsukium
cf0dc604a6
dssp: init at 4.0.5 2022-07-19 12:17:34 +09:00
Dmitry Kalinkin
b3df13e2d7
root: 6.24.06 -> 6.26.04 2022-07-18 23:14:15 -04:00
Justin Bedo
99fb9abfaa
bedops: 2.4.40 -> 2.4.41 2022-07-19 09:09:52 +10:00
Luflosi
bf27ab825e
boinc: 7.20.1 -> 7.20.2 
https://github.com/BOINC/boinc/releases/tag/client_release%2F7.20%2F7.20.2
 2022-07-18 14:33:23 +02:00
Vladimír Čunát
250922fd1e
Merge branch 'master' into staging-next 2022-07-18 08:29:53 +02:00
7c6f434c
03eff4d99f
Merge pull request #178456 from collares/eclib-20220621 
eclib: 20210625 -> 20220621
 2022-07-18 04:46:58 +00:00
7c6f434c
2a41e4f33c
Merge pull request #181071 from collares/nauty-2.7r4 
nauty: 2.7r3 -> 2.7r4
 2022-07-18 04:46:35 +00:00
Nikolay Korotkiy
367bae1a8c
stellarium: 0.22.1 → 0.22.2 2022-07-17 18:48:18 +03:00
Sandro
e59f65caf8
Merge pull request #163964 from yuuyins/strictdoc 
strictdoc: init at 0.0.26
 2022-07-17 16:45:12 +02:00
K900
0ff0b14968 treewide: more cmake rpath fixups 2022-07-17 17:42:15 +03:00
yuu
7b560da1dc
strictdoc: init at 0.0.26 
Co-authored-by: Sandro Jäckel <sandro.jaeckel@gmail.com>
Co-authored-by: Jonathan Ringer <jonringer117@gmail.com>
 2022-07-16 19:19:32 -03:00
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