3
0
Fork 0
forked from mirrors/nixpkgs
Commit graph

5893 commits

Author SHA1 Message Date
ajs124 90c42fa33f jonprl: remove after being marked broken for over two years
It was marked in commit 5aa4b19946 by Linus Heckemann on 2019-10-07 (commited on 2019-10-08)
2022-04-03 16:14:16 +01:00
Alyssa Ross ac5a927919
Merge remote-tracking branch 'nixpkgs/master' into staging-next
Conflicts:
	pkgs/development/python-modules/einops/default.nix
	pkgs/development/python-modules/elegy/default.nix
2022-03-31 11:46:46 +00:00
Ben Siraphob 5187709ff7
Merge pull request #166508 from siraben/automake-buildinputs 2022-03-31 03:15:41 -05:00
github-actions[bot] 3c526dbe2c
Merge master into staging-next 2022-03-31 06:01:18 +00:00
Ben Siraphob cbbef27aa9
Merge pull request #166527 from siraben/nuxmv-darwin 2022-03-30 23:44:48 -05:00
Ben Siraphob 0535074d17
nuXmv: fix darwin build 2022-03-30 23:43:21 -05:00
Martin Weinelt d0bfb3ccbb Merge remote-tracking branch 'origin/master' into staging-next 2022-03-31 03:49:37 +02:00
Ben Siraphob 21faf9fc29
treewide: move autoconf, automake to nativeBuildInputs 2022-03-30 20:17:24 -05:00
Oleksii Filonenko cade4603c3
Merge pull request #166120 from r-ryantm/auto-update/rink 2022-03-30 20:24:36 +03:00
Connor Baker 57961e1a5e z3: remove 4.6.0 and 4.5.0 2022-03-29 23:46:27 -04:00
Sandro 71d8b69306
Merge pull request #166144 from alyaeanyx/gprojector-3.0.3 2022-03-30 02:17:50 +02:00
github-actions[bot] 5a9b6a3f1a
Merge master into staging-next 2022-03-29 12:06:05 +00:00
Sandro 1f6bdf4d93
Merge pull request #165458 from rbreslow/add-flywheel-cli 2022-03-29 13:33:54 +02:00
alyaeanyx aa931a46e0
gprojector: 3.0.2 -> 3.0.3 2022-03-28 23:56:35 +02:00
Rocky Breslow 603e9d7b64
flywheel-cli: init at 16.2.0 2022-03-28 15:54:39 -04:00
R. Ryantm 53dff2f7c8 rink: 0.6.2 -> 0.6.3 2022-03-28 18:13:37 +00:00
Jan Tojnar 997bb5e42c Merge branch 'master' into staging-next
; Conflicts:
;	pkgs/development/python-modules/dnspython/default.nix
;	pkgs/development/python-modules/googleapis-common-protos/default.nix
2022-03-28 17:55:31 +02:00
Sandro a63a39e238
Merge pull request #165335 from willcohen/qwt-6.2 2022-03-28 14:19:09 +02:00
Sandro 2f1e03cb2b
Merge pull request #165691 from lucc/github-removed-unencrypted-git 2022-03-28 12:47:42 +02:00
Maximilian Bosch f9dd150fbe
Merge pull request #165960 from Ma27/bump-stellarium
stellarium: 0.21.3 -> 0.22.0
2022-03-28 10:06:37 +02:00
7c6f434c 1dfd957336
Merge pull request #165570 from r-ryantm/auto-update/jmol
jmol: 14.32.33 -> 14.32.39
2022-03-28 07:52:03 +00:00
github-actions[bot] e3d20dfaa5
Merge master into staging-next 2022-03-27 18:01:05 +00:00
Maximilian Bosch c951914f43
stellarium: 0.21.3 -> 0.22.0
ChangeLog: https://github.com/Stellarium/stellarium/releases/tag/v0.22.0
2022-03-27 17:40:34 +02:00
Sandro 966dd84461
Merge pull request #165778 from Luz/ngspice 2022-03-27 16:13:39 +02:00
Martin Weinelt d68657af92 Merge remote-tracking branch 'origin/master' into staging-next 2022-03-27 15:54:05 +02:00
Sandro 7d63d0891b
Merge pull request #156413 from numinit/klee-fixes 2022-03-27 13:36:16 +02:00
Sandro 08e8862bca
Merge pull request #159943 from evils/kicad-unstable 2022-03-27 11:58:39 +02:00
Sandro 2a581ac5e5
Merge pull request #164981 from evils/kicad-6.0.4 2022-03-27 11:58:31 +02:00
github-actions[bot] 3b6f03e497
Merge master into staging-next 2022-03-26 18:01:22 +00:00
Will Cohen f405c59874 libsForQt5.qwt: 6.1.6 -> 6.2.0 2022-03-26 13:35:18 -04:00
Sandro f338d0737c
Merge pull request #159997 from jvanbruegge/isabelle-linter 2022-03-26 15:58:08 +01:00
Luz 793d40b8df ngspice: 34 -> 36 2022-03-25 19:19:48 +01:00
github-actions[bot] c6dd9fd65d
Merge master into staging-next 2022-03-25 18:01:14 +00:00
Silvan Mosberger 3180037c84
Merge pull request #164616 from TilCreator/update-inav-configurator
inav-configurator: 3.0.2 -> 4.1.0
2022-03-25 18:19:45 +01:00
Lucas Hoffmann f3bda2f2c0 docs: replace defunct git://github.com urls with https:// 2022-03-25 11:21:42 +01:00
Vladimír Čunát 0a8b4eddd2
Merge branch 'master' into staging-next 2022-03-25 10:16:56 +01:00
Ben Siraphob 1cf5591a99
Merge pull request #165303 from Stunkymonkey/treewide-pname-version-18 2022-03-24 22:55:34 -05:00
Connor Baker 0489a21577 z3: init 4.8.15, 4.7.1, 4.6.0, 4.5.0 2022-03-24 16:44:24 -04:00
davidak 6ea8d5ee71
Merge pull request #165297 from Stunkymonkey/treewide-pname-version-17
treewide: rename name to pname&version
2022-03-24 16:38:33 +01:00
Ryan Mulligan 994642544e
Merge pull request #165594 from r-ryantm/auto-update/marvin
marvin: 22.7.0 -> 22.8.0
2022-03-24 07:57:52 -07:00
R. Ryantm a7f7b6977f marvin: 22.7.0 -> 22.8.0 2022-03-24 10:35:36 +00:00
Vincent Laporte 3d0a9d1668 coq_8_15: 8.15.0 → 8.15.1 2022-03-24 10:17:42 +01:00
R. Ryantm a4bf7fed59 jmol: 14.32.33 -> 14.32.39 2022-03-24 06:38:50 +00:00
Felix Buehler 3bc5196252 treewide: rename name to pname&version 2022-03-23 22:55:50 +01:00
Felix Buehler e0476d93fe treewide: rename name to pname&version 2022-03-23 22:34:54 +01:00
Jan van Brügge 0391279c24
isabelle: Add isabelle-linter as optional component 2022-03-23 14:47:21 +01:00
markuskowa 3095b43655
Merge pull request #165368 from sikmir/gnuastro
gnuastro: init at 0.17
2022-03-23 13:04:04 +01:00
github-actions[bot] c80dabe3b1
Merge staging-next into staging 2022-03-23 06:01:55 +00:00
Nikolay Korotkiy d9d3fe9b7c
gnuastro: init at 0.17 2022-03-23 07:37:18 +03:00
Sandro 50715837d6
Merge pull request #165277 from mpoquet/simgrid-3.30-to-3.31 2022-03-23 04:18:06 +01:00
ajs124 6324abc93e libpng_apng: drop
It's been the same as libpng since 8164d28, because
`libpng_apng = libpng.override { apngSupport = true; };`, but `apngSupport ? true`
2022-03-23 03:20:11 +01:00
zowoq be98149597 Merge remote-tracking branch 'origin/staging-next' into staging
Conflicts:
	pkgs/servers/isso/default.nix
2022-03-23 10:04:17 +10:00
Franz Pletz 9dd3e78f7e
Merge pull request #165194 from q3k/q3k/magic-vlsi-8.7.277
magic-vlsi: 8.3.109 -> 8.3.277
2022-03-22 22:00:17 +01:00
Millian Poquet 9ff032c291 simgrid: 3.30 -> 3.31
- addition of the optional eigen dependency, used by a new simulation
  model (bmf) that looks very promising to take interference phenomena
  into account while remaining coarse-grained.
- enabled the new dependency by default as I think this is interesting
  for most users.
2022-03-22 14:52:22 +01:00
github-actions[bot] c62314becb
Merge staging-next into staging 2022-03-22 06:01:42 +00:00
Serge Bazanski 8171e0a24e magic-vlsi: 8.3.109 -> 8.3.277 2022-03-22 02:14:44 +01:00
Sandro 4348e36456
Merge pull request #164248 from Stunkymonkey/treewide-fetchFromGitHub-2 2022-03-22 02:13:45 +01:00
github-actions[bot] 03c279d7ea
Merge staging-next into staging 2022-03-22 00:02:58 +00:00
Jörg Thalheim 800d3e733c
Merge pull request #165100 from armeenm/remove-golly-beta
golly-beta: remove
2022-03-21 20:20:31 +00:00
github-actions[bot] 6ae26bb3c8
Merge staging-next into staging 2022-03-21 18:07:51 +00:00
Ryan Mulligan 0ecdc95822
Merge pull request #165002 from r-ryantm/auto-update/kstars
kstars: 3.5.7 -> 3.5.8
2022-03-21 10:02:16 -07:00
Armeen Mahdian 858e03cf1f golly-beta: remove
Golly is more up to date
2022-03-21 07:08:53 -05:00
Vladimír Čunát a519740b4c
Merge branch 'staging-next' into staging 2022-03-21 11:57:43 +01:00
R. Ryantm 142a76c412 kstars: 3.5.7 -> 3.5.8 2022-03-20 17:43:56 +00:00
Gabriel Ebner 3aa72cc471
Merge pull request #157515 from jvanbruegge/isabelle-naproche
isabelle: Enable and use naproche from nixpkgs
2022-03-20 18:26:33 +01:00
Evils dfb7d36e7a kicad-unstable: 2022-01-13 -> 2022-03-19 2022-03-20 16:32:32 +01:00
Evils fc6f267e5d kicad: 6.0.2 -> 6.0.4
6.0.3 was tagged but never released due to an issue
2022-03-20 15:36:44 +01:00
Doron Behar 6f227f03cb qalculate-gtk: 4.0.0 -> 4.1.0 2022-03-20 16:04:47 +08:00
Bobby Rong b3549ba290
Merge pull request #164837 from bobby285271/pantheon-eco
various: remove elementary-icon-theme from buildInputs & vala 0.56 fixes
2022-03-20 13:34:08 +08:00
Martin Weinelt f4f3622cb1 Merge remote-tracking branch 'origin/staging-next' into staging 2022-03-20 00:00:32 +01:00
Bobby Rong 88aee703c2
various: remove elementary-icon-theme from buildInputs
These apps don't hardcode their icon themes and the icon theme
is no longer picked up by wrapGAppsHook by default. User may
also able to choose to use icon themes of their choice so pulling
them to XDG_DATA_DIRS is mostly no use.
2022-03-19 17:16:30 +08:00
7c6f434c c8677c4da2
Merge pull request #164193 from NixOS/r-updates
R 4.1.2 -> 4.1.3 and rPackages bump
2022-03-18 17:27:53 +00:00
Ryan Mulligan bfe3a6f08a
Merge pull request #164022 from r-ryantm/auto-update/jmol
jmol: 14.32.30 -> 14.32.33
2022-03-18 10:25:57 -07:00
Sandro 957075fd6d
Merge pull request #164375 from fedeinthemix/gaw-update 2022-03-18 17:58:40 +01:00
Gabriel Ebner dccd0f76c3
Merge pull request #164717 from collares/lean-3.42.0
lean: 3.41.0 -> 3.42.0
2022-03-18 17:31:26 +01:00
Armeen Mahdian 6cfaf0a464 eggnog-mapper: 1.0.3 -> 2.1.7
https://github.com/eggnogdb/eggnog-mapper/releases
2022-03-18 10:26:47 -05:00
Mauricio Collares 897ba65b6f lean: 3.41.0 -> 3.42.0 2022-03-18 11:52:10 -03:00
github-actions[bot] 588298ee0a
Merge staging-next into staging 2022-03-18 12:01:57 +00:00
R. Ryantm d055eda636 mavproxy: 1.8.46 -> 1.8.48 2022-03-18 11:17:17 +00:00
R. Ryantm d29ff668b5 opensmt: 2.3.0 -> 2.3.1 2022-03-17 18:40:58 +00:00
tilcreator 73449ea799 inav-configurator: 3.0.2 -> 4.1.0 2022-03-17 17:50:49 +01:00
Felix Buehler f8684d34e9 cntk: switch to fetchFromGitHub 2022-03-16 23:23:09 +01:00
github-actions[bot] 177bd4ed53
Merge staging-next into staging 2022-03-16 18:01:43 +00:00
Bobby Rong 2079219a72
Merge pull request #164162 from jdupak/master
QtRVSim: 0.9.1 -> 0.9.2
2022-03-16 21:32:22 +08:00
Federico Beffa 3076eab196 gaw: 20200922 -> 20220315 2022-03-16 08:01:53 +01:00
zowoq 6431086967 Merge remote-tracking branch 'origin/staging-next' into staging
Conflicts:
	pkgs/development/python-modules/symengine/default.nix
2022-03-16 16:03:43 +10:00
Morgan Jones 98a951c509 klee: build with klee-uclibc
This ends up enabling more of the KLEE test suite, so apply patches to
fix those too.
2022-03-15 19:21:00 -06:00
Ryan Mulligan 2a0d98d319
Merge pull request #163638 from r-ryantm/auto-update/siril
siril: 0.99.10.1 -> 1.0.0
2022-03-15 14:56:47 -07:00
Ryan Mulligan 7e1cc45b66
Merge pull request #162443 from r-ryantm/auto-update/phd2
phd2: 2.6.10 -> 2.6.11
2022-03-15 14:56:29 -07:00
Martin Weinelt 8d18f29b60
Merge pull request #161366 from NixOS/staging-next
Staging next 2022-02-22
2022-03-15 22:31:01 +01:00
Ben Siraphob cc7b9eac78
Merge pull request #164195 from siraben/nuXmv-init 2022-03-15 18:53:13 +00:00
Ben Siraphob b39792d141
nuXmv: init at 2.0.0 2022-03-15 13:50:58 -05:00
Vladimír Čunát b61852cd94
Merge branch 'master' into staging-next 2022-03-15 18:08:32 +01:00
Rasmus Thomsen 69895c6248
bada-bib: 0.5.1 -> 0.6.0 2022-03-15 12:50:26 +01:00
Jakub Dupak b72a99d718 QtRVSim: 0.9.1 -> 0.9.2 2022-03-14 22:04:17 +02:00
Alyssa Ross d7e181ff83
Merge remote-tracking branch 'nixpkgs/staging-next' into staging
Conflicts:
	pkgs/development/compilers/ocaml/4.12.nix
	pkgs/development/python-modules/oci/default.nix
	pkgs/tools/admin/bubblewrap/default.nix
2022-03-14 12:33:16 +00:00
github-actions[bot] 0ed928e4ab
Merge master into staging-next 2022-03-14 12:01:26 +00:00
Mauricio Collares 5240cbc0d8 sage: adapt tachyon interface for 0.99.3 2022-03-13 16:53:22 -03:00
R. Ryantm 6d61669d69 jmol: 14.32.30 -> 14.32.33 2022-03-13 16:20:57 +00:00
github-actions[bot] 1630ab9b47
Merge master into staging-next 2022-03-13 06:05:11 +00:00