3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs
2022-06-03 14:05:37 +02:00
..
applications coq: 8.15.1 → 8.15.2 2022-06-03 10:45:45 +02:00
build-support prefer-remote-fetch: don't overwrite fetcher's which set preferLocalBuild explicitly 2022-06-03 14:05:37 +02:00
common-updater
data
desktops gnomeExtensions.freon: fix patch for v48, simplify 2022-06-02 22:51:41 +03:00
development compcert: add support for Coq 8.15.2 2022-06-03 10:45:45 +02:00
games
misc
os-specific Merge pull request #175183 from trofi/fix-fno-common-for-pommed_light 2022-06-03 05:56:22 +00:00
pkgs-lib
servers home-assistant: 2022.6.0 -> 2022.6.1 2022-06-03 08:22:16 +02:00
shells
stdenv
test Merge pull request #175317 from ncfavier/makeBinaryWrapper-cross 2022-06-02 22:27:14 +02:00
tools Merge pull request #175258 from trofi/workaround-fno-common-for-super 2022-06-03 05:58:38 +00:00
top-level Merge pull request #175949 from aaronjheng/go-mk 2022-06-02 21:28:45 -03:00