JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
391,208 Commits 2 Branches 0 Tags 12 GiB
13a310dc59
Commit Graph

6265 Commits

Author SHA1 Message Date
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
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
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