Sandro
8785153a13
Merge pull request #180450 from wegank/lp_solve-aarch64-darwin
2022-07-12 14:56:55 +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
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
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
Théo Zimmermann
1014f00cff
Prepare Coq derivation for Coq 8.17 build infrastructure.
2022-07-08 14:54:04 +02: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
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
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
