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
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
Hernan Rajchert
ef22f5fd93
veriT: Fix build on macos
2022-06-22 16:57:33 -03:00
R. Ryantm
671aeb2769
snakemake: 7.8.2 -> 7.8.3
2022-06-21 19:01:53 +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
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
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]
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
Sergei Trofimovich
5ee88ab21d
Merge master into staging-next
2022-06-18 08:00:58 +01: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]
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]
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]
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
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
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
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
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
