3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs
Thiago Kenji Okada 89860a4c6d
Merge pull request #147651 from marsam/update-fstar
fstar: 2021.10.16 -> 2021.11.27
2021-11-28 11:15:44 -03:00
..
applications Merge pull request #147564 from kira-bruneau/git-review 2021-11-28 14:48:36 +01:00
build-support
common-updater
data
desktops Merge pull request #147697 from bobby285271/pantheon 2021-11-28 20:22:28 +08:00
development Merge pull request #147651 from marsam/update-fstar 2021-11-28 11:15:44 -03:00
games
misc mame: 0.237 -> 0.238 2021-11-27 23:02:57 -03:00
os-specific
pkgs-lib
servers Merge pull request #147637 from rnhmjoj/pr-pdns-rec 2021-11-28 10:00:02 +01:00
shells Merge pull request #145830 from l0b0/fix-shellcheck-lints 2021-11-28 13:59:31 +01:00
stdenv
test
tools Merge pull request #147689 from fabaff/bump-cpufetch 2021-11-28 21:47:43 +08:00
top-level Merge pull request #147645 from thiagokokada/bump-mame 2021-11-28 10:23:40 -03:00