Théo Zimmermann
1014f00cff
Prepare Coq derivation for Coq 8.17 build infrastructure.
2022-07-08 14:54:04 +02:00
Jonas Heinrich
fc4b3a846d
klee: 2.2 -> 2.3
...
* klee: 2.2 -> 2.3
2022-07-07 09:18:27 -03: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
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
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
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
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
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
