Revert "NO MORE CANCER, ALL MY FAVORITE LINKEDIN INFLUENCERS USE LEAN" This reverts commit ab39db1bd6223217a24830c478a382cfa2e75c87.

Changes

2 changed files (+5/-3)

• flake.lock
  • @@ -23,11 +23,11 @@
    }, "nixpkgs": { "locked": { - "lastModified": 1774709303, - "narHash": "sha256-D3Q07BbIA2KnTcSXIqqu9P586uWxN74zNoCH3h2ESHg=", + "lastModified": 1775036866, + "narHash": "sha256-ZojAnPuCdy657PbTq5V0Y+AHKhZAIwSIT2cb8UgAz/U=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "8110df5ad7abf5d4c0f6fb0f8f978390e77f9685", + "rev": "6201e203d09599479a3b3450ed24fa81537ebc4e", "type": "github" }, "original": {
• laptop.nix
  • @@ -79,6 +79,8 @@
    environment = { systemPackages = with pkgs; [ # Math and programming + # BLAZINGLY FAST FEARLESS CONCURRENCY + cargo # For installing Lean beta versions # Also, lean4 from nixpkgs is often outdated and doesn't work with the mathlib binary cache # TODO: Updating gcc breaks toolchains