1. ✅PR #283322 ("sage: 10.0 -> 10.2")
2. ✅ master
   • ✅ nixpkgs-unstable
   • ✅ nixos-unstable-small
     • ✅ nixos-unstable