Commit Graph

5209 Commits

Author SHA1 Message Date
Sandro
9a9ef88b8c
Merge pull request #145178 from SuperSandro2000/applications
Applications
2021-11-09 21:33:41 +01:00
Sandro Jäckel
b1c5442ceb
fixup! prover9: convert patchPhase to postPatch, cleanup meta 2021-11-09 20:26:04 +01:00
Sandro Jäckel
15d85dac80
redprl: switch to fetchFromGitHub, use postPatch 2021-11-09 20:10:31 +01:00
Sandro Jäckel
11c55d061e
prover9: convert patchPhase to postPatch, cleanup meta 2021-11-09 20:10:30 +01:00
Vincent Laporte
b42501e1e7 proverif: 2.02pl1 → 2.03
Do not build `proverif_interact` (that was not installed).
2021-11-09 17:50:01 +01:00
Bruno Bzeznik
4e5a245894 obitools3: removed useless python restriction 2021-11-08 07:51:48 +01:00
Sandro
f2c9cf39e5
Merge pull request #145006 from Artturin/spdlogupd 2021-11-07 23:04:28 +01:00
Artturin
b4fab0a98b treewide: remove fmt from buildInputs where spdlog is used
spdlog_1 has fmt_8 in propagatedBuildInputs and having fmt which points
to fmt_7 in buildInputs makes the builds use wrong fmt
2021-11-07 22:05:08 +02:00
Felix Buehler
b52ab3b712 pkgs/applications: rename name to pname&version part 2 2021-11-07 14:53:06 +01:00
Justin Bedő
7016c7df1c
Merge pull request #144820 from NixOS/r-updates
R,rPackages: R 4.1.1 -> 4.1.2, rPackages BioC 3.13 -> 3.14
2021-11-07 08:12:10 +11:00
Matt Christ
065281add0 cemu: mark as broken on darwin
https://github.com/NixOS/nixpkgs/pull/144889#issuecomment-962469610
2021-11-06 13:54:44 -07:00
Matt Christ
2771743966 cemu: add link-time-compile-gen, build with gcc9stdenv 2021-11-06 13:54:44 -07:00
Ellie Hermaszewska
03f9ced512
picoscope: 6.14.44 -> 7.0.83 2021-11-06 17:32:49 +08:00
Michael Raskin
d8b7d0e066
Merge pull request #123511 from yorickvP/yorick-picoscope
picoscope: init at 6.14.44-4r5870
2021-11-06 08:48:13 +00:00
Alyssa Ross
02dfbde639
treewide: use mirror URLs where available
Candidates identified with

	git grep -F "$(grep -v '#' pkgs/build-support/fetchurl/mirrors.nix |
		grep -v nixos.org | grep :// | cut -d '"' -f 2)"

and then manually reviewed and tested.
2021-11-06 01:56:39 +00:00
Florian Klink
3097a43496 xmedcon: 0.21.0 -> 0.21.2
in release 0.21.2 @ 20-Jul-2021 (Gtk+3)

    Small addition in our speedometer CSS theme: window titlebar is now in dark mode too
    Learned how to leave out annoying autotools reconfigure rules from Makefiles via AM_MAINTAINER_MODE macro
        Why? working with most recent autotools version <> older autotools version on most systems <> users are not necessarily developers ...
    Improvements for Wayland (CentOS Stream / OpenSUSE Tumbleweed)
        Menu "Online info" core dumps due to "toplevel" window problem
        Check "Gdk-CRITICAL gdk_monitor_get_workarea: assertion 'GDK_IS_MONITOR ()' failed"
        gtk_window_set_transient_for(window, parent)
        Not working GBC-widget (gamma, brightness, contrast)

in release 0.21.1 @ 01-May-2021 (Gtk+3)

    Require libpng >= 1.6.0 for Ubuntu's sake
    Added in GUI resizing to fifth and quint
    Secured two sprintf() statements
    Updated Inno Setup file for Gtk+3 dependencies
    Fresh update of application icon
    GIF89a: write "XMedCon" in application block
2021-11-05 15:30:51 +01:00
Florian Klink
0886f51b37 xmedcon: fix meta.platforms
platforms.darwin and platforms.linux are both lists. They need to be
concatenated, otherwise they're not recognized as supported platforms.
2021-11-05 15:30:51 +01:00
Mauricio Collares
076563ebac sage: import sympy 1.9 update patch 2021-11-04 18:53:06 +01:00
Justin Bedő
a5ac0a33a7
Merge pull request #144529 from r-ryantm/auto-update/picard-tools
picard-tools: 2.26.3 -> 2.26.4
2021-11-04 07:19:02 +11:00
R. Ryantm
509a8c298f picard-tools: 2.26.3 -> 2.26.4 2021-11-03 19:57:00 +00:00
Michael Raskin
df3adb0398
Merge pull request #144502 from r-ryantm/auto-update/opensmt
opensmt: 2.1.1 -> 2.2.0
2021-11-03 18:23:06 +00:00
R. Ryantm
8fed17e682 opensmt: 2.1.1 -> 2.2.0 2021-11-03 18:03:12 +00:00
Bobby Rong
1c78751423
Merge pull request #144416 from bobby285271/mainprogram
treewide: set meta.mainProgram for packages teams.pantheon.members maintain
2021-11-03 20:10:33 +08:00
Bobby Rong
2483e778d4
treewide: set meta.mainProgram for packages teams.pantheon.members maintain 2021-11-03 19:07:21 +08:00
Artturi
0099cd6289
Merge pull request #137636 from bzizou/obitools 2021-11-03 12:30:53 +02:00
Bruno Bzeznik
0d9ec2d3f0 obitools3: fix build on aarch64 + formatting 2021-11-03 11:59:05 +02:00
R. Ryantm
14ee52edff elan: 1.3.0 -> 1.3.1
(cherry picked from commit 4cb7820ac9)
2021-11-03 10:51:13 +01:00
Artturi
74f25e606c
Merge pull request #143613 from r-ryantm/auto-update/cytoscape
cytoscape: 3.8.2 -> 3.9.0
2021-11-02 14:39:53 +02:00
Artturi
495f6106d5
Merge pull request #144226 from r-ryantm/auto-update/antiprism
antiprism: 0.26 -> 0.29
2021-11-02 14:19:37 +02:00
Artturi
ff29a7175b
Merge pull request #143618 from r-ryantm/auto-update/dcm2niix
dcm2niix: 1.0.20210317 -> 1.0.20211006
2021-11-02 13:58:10 +02:00
R. Ryantm
253e9ecfab antiprism: 0.26 -> 0.29 2021-11-02 11:08:06 +00:00
Justin Bedo
257a939cfc
R: 4.1.1 -> 4.1.2 2021-11-02 17:42:34 +11:00
github-actions[bot]
d27dd6653e
Merge master into staging-next 2021-11-02 00:01:32 +00:00
Vincent Laporte
f727a6aebe why3: remove spurious camlp5 dependency 2021-11-01 20:37:57 +01:00
Mauricio Collares
89d7336c20 lean: 3.34.0 -> 3.35.0 2021-11-01 19:17:17 +01:00
Mauricio Collares
c707a468a4 lean: 3.33.0 -> 3.34.0 2021-11-01 19:17:17 +01:00
github-actions[bot]
bd0051cd54
Merge master into staging-next 2021-11-01 18:01:02 +00:00
Gabriel Ebner
f13aa788e1 elan: 1.2.0 -> 1.3.0 2021-11-01 13:37:56 +01:00
github-actions[bot]
7eaf56d92e
Merge master into staging-next 2021-11-01 00:01:32 +00:00
Sandro
dcc0ba6967
Merge pull request #144043 from Smaug123/lean-darwin 2021-10-31 23:39:39 +01:00
Smaug123
925ab444c9 elan: 1.1.0 -> 1.2.0
The move to 1.1.0 broke Darwin: the patch introduced during that move
is also required on Darwin, but is hidden behind a Linux-specific
optional. The patch has since made it upstream, so the easiest fix
is simply to upgrade Elan.
2021-10-31 21:41:38 +00:00
Sandro
254f7f273a
Merge pull request #143798 from evils/kicad-5.1.11 2021-10-31 22:11:41 +01:00
github-actions[bot]
f66386e3b1
Merge master into staging-next 2021-10-31 12:01:13 +00:00
Robert Scott
b56f93abf9
Merge pull request #143764 from r-ryantm/auto-update/hal-hardware-analyzer
hal-hardware-analyzer: 3.2.6 -> 3.3.0
2021-10-31 11:53:35 +00:00
Sergei Trofimovich
597eb07e00 yices: drop symlink hack, avoid ldconfig on linux
Reported by sternenseemann as a failure on darwin:
https://github.com/NixOS/nixpkgs/pull/141541#discussion_r739634263

Instead of emulating symlink creation in `.nix` file let's create
them in Makefile.build directly in a way that can be upstreamed.
2021-10-31 09:08:41 +01:00
Evils
d44db8ddaa kicad: 5.1.10 -> 5.1.11 2021-10-30 06:32:39 +02:00
R. Ryantm
705e4006ae hal-hardware-analyzer: 3.2.6 -> 3.3.0 2021-10-29 22:20:48 +00:00
R. Ryantm
6282512ef7 dcm2niix: 1.0.20210317 -> 1.0.20211006 2021-10-29 09:34:20 +00:00
R. Ryantm
5ba5ff1a84 cytoscape: 3.8.2 -> 3.9.0 2021-10-29 09:08:26 +00:00
github-actions[bot]
e7fbce41fc
Merge master into staging-next 2021-10-29 06:01:10 +00:00