Guillaume MaudouxandGitHub cff21e37a4 Merge pull request #184021 from jwiegley/johnw/boogie ...

pkgs.boogie: 2.4.1 -> 2.15.7

2022-08-03 11:03:31 +02:00

..

applications

Merge pull request #182550 from kouyk/update/vivaldi

2022-08-03 05:17:54 -03:00

build-support

Merge master into staging-next

2022-08-03 00:02:25 +00:00

common-updater

…

data

Merge pull request #179866 from kilianar/unihan-database

2022-08-03 00:34:15 +02:00

desktops

gnome.accerciser: 3.38.0 -> 3.40.0

2022-08-02 16:51:36 +02:00

development

Merge pull request #184021 from jwiegley/johnw/boogie

2022-08-03 11:03:31 +02:00

games

Merge master into staging-next

2022-08-03 06:01:37 +00:00

misc

Merge pull request #184723 from r-ryantm/auto-update/sndio

2022-08-02 20:29:42 -07:00

os-specific

Merge master into staging-next

2022-08-03 06:01:37 +00:00

pkgs-lib

…

servers

prometheus-blackbox-exporter: 0.21.1 -> 0.22.0

2022-08-03 10:10:21 +02:00

shells

Merge pull request #184419 from r-ryantm/auto-update/oil

2022-08-02 09:53:17 -03:00

stdenv

Merge master into staging-next

2022-08-01 18:01:20 +00:00

test

…

tools

Merge pull request #184201 from 2b/master

2022-08-03 05:12:54 -03:00

top-level

Merge pull request #184021 from jwiegley/johnw/boogie

2022-08-03 11:03:31 +02:00