nixpkgs/pkgs
Nick Cao 91d5bd5869
Merge pull request #241221 from vbgl/coq-CoLoR-1.8.4
coqPackages.CoLoR: 1.8.3 → 1.8.4
2023-07-04 10:31:40 +08:00
..
applications geomyidae: 0.51 -> 0.69 (#241307) 2023-07-04 03:35:17 +02:00
build-support
common-updater
data
desktops Merge pull request #241254 from basedtheorem/patch-1 2023-07-03 18:58:45 +02:00
development Merge pull request #241221 from vbgl/coq-CoLoR-1.8.4 2023-07-04 10:31:40 +08:00
games Merge pull request #240386 from keenanweaver/doomrunner 2023-07-03 18:30:11 +02:00
misc
os-specific
pkgs-lib
servers Merge pull request #241179 from SuperSandro2000/matrix-sliding-sync 2023-07-03 20:00:01 +02:00
shells
stdenv stdenv: fix overriding with attrset when finalAttrs isn't used 2023-07-03 21:34:50 +03:00
test stdenv: fix overriding with attrset when finalAttrs isn't used 2023-07-03 21:34:50 +03:00
tools Merge pull request #241049 from Yarny0/tsm-client 2023-07-04 09:20:56 +08:00
top-level python310Packages.lanms-neo: init at 1.0.2 2023-07-04 10:05:06 +08:00