nixpkgs/pkgs
Guillaume Maudoux 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