github-actions[bot]
77dc421883
Merge staging-next into staging
2022-03-26 18:01:56 +00:00
github-actions[bot]
3b6f03e497
Merge master into staging-next
2022-03-26 18:01:22 +00:00
Sandro
f338d0737c
Merge pull request #159997 from jvanbruegge/isabelle-linter
2022-03-26 15:58:08 +01:00
github-actions[bot]
84962daf66
Merge staging-next into staging
2022-03-25 18:01:48 +00: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
github-actions[bot]
8357b101a5
Merge staging-next into staging
2022-03-25 12:02:05 +00: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
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
Doron Behar
4a02c56a7d
Merge pull request #164746 from ncfavier/makeWrapper-chdir
2022-03-24 13:51:27 +02: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
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
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
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
Naïm Favier
9160044f5f
treewide/makeWrapper: replace --run cd with --chdir
...
Lay the groundwork for switching to binary wrappers by reducing uses
of `--run` (which is not supported by `makeBinaryWrapper`).
2022-03-19 09:46:31 +01: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
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
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
