nixpkgs/pkgs
Vincent Laporte 3b50449992 coqPackages.iris: 3.5.0 → 3.6.0
coqPackages.stdpp: 1.6.0 → 1.7.0
2022-02-23 21:14:14 +01:00
..
applications Merge pull request #161527 from stehessel/add-odo 2022-02-23 21:06:44 +01:00
build-support flutter.mkFlutterApp: fix installing .desktop 2022-02-23 15:10:59 +01:00
common-updater
data osinfo-db: 20211216 → 20220214 2022-02-23 20:30:21 +01:00
desktops Merge pull request #161475 from r-ryantm/auto-update/xreader 2022-02-23 14:54:47 +01:00
development coqPackages.iris: 3.5.0 → 3.6.0 2022-02-23 21:14:14 +01:00
games Adjust ehmry maintainership 2022-02-20 08:35:57 -06:00
misc xboxdrv: bump scons (#158405) 2022-02-21 23:13:57 +01:00
os-specific firmware-updater: update vendor hash 2022-02-23 15:10:59 +01:00
pkgs-lib
servers Merge pull request #161511 from r-ryantm/auto-update/check_ssl_cert 2022-02-23 21:03:10 +01:00
shells Merge pull request #160815 from r-ryantm/auto-update/spaceship-prompt 2022-02-23 00:06:56 +01:00
stdenv
test
tools Merge pull request #161509 from r-ryantm/auto-update/nuclei 2022-02-23 21:10:08 +01:00
top-level Merge pull request #161527 from stehessel/add-odo 2022-02-23 21:06:44 +01:00