authorgravatar for nmarks413@gmail.comNatalie Marks <nmarks413@gmail.com> 2025-04-01 16:53:48-07:00
committergravatar for nmarks413@gmail.comNatalie Marks <nmarks413@gmail.com> 2025-04-01 16:53:48-07:00
log3451754834c5aaa7c1cdabcfa550cbcdcaebfac7
treeb949d48bd0a850b1b35f95539e5312495be6059a
parent5acef4760cae0a774402dc072aa84e185485a3a4

add coq

2 files changed, 69 insertions(+), 46 deletions(-)

flake.lock+68-46
...@@ -61,11 +61,11 @@...@@ -61,11 +61,11 @@
61 ]61 ]
62 },62 },
63 "locked": {63 "locked": {
64 "lastModified": 1742165923,64 "lastModified": 1743350051,
65 "narHash": "sha256-WKzuVsHXjuxYjS9KxKdpoPWpT37LofyS5llSssEw058=",65 "narHash": "sha256-QtVfBQe5VBnRPP5ustegPlsTdV/SZzt8akOIN5Hlwjk=",
66 "owner": "lnl7",66 "owner": "lnl7",
67 "repo": "nix-darwin",67 "repo": "nix-darwin",
68 "rev": "95eac71bf52b271523d0ca81dbbeb3182990fc24",68 "rev": "eaff8219d629bb86e71e3274e1b7915014e7fb22",
69 "type": "github"69 "type": "github"
70 },70 },
71 "original": {71 "original": {
...@@ -313,11 +313,11 @@...@@ -313,11 +313,11 @@
313 ]313 ]
314 },314 },
315 "locked": {315 "locked": {
316 "lastModified": 1742246081,316 "lastModified": 1743438213,
317 "narHash": "sha256-1e4oFbtdOOb6NqauHevWWjEUXZnfZ6RUAJJjn9i4YBc=",317 "narHash": "sha256-ZZDN+0v1r4I1xkQWlt8euOJv5S4EvElUCZMrDjTCEsY=",
318 "owner": "nix-community",318 "owner": "nix-community",
319 "repo": "home-manager",319 "repo": "home-manager",
320 "rev": "c657142e24a43ea1035889f0b0a7c24598e0e18a",320 "rev": "ccd7df836e1f42ea84806760f25b77b586370259",
321 "type": "github"321 "type": "github"
322 },322 },
323 "original": {323 "original": {
...@@ -332,11 +332,11 @@...@@ -332,11 +332,11 @@
332 "nixpkgs": "nixpkgs"332 "nixpkgs": "nixpkgs"
333 },333 },
334 "locked": {334 "locked": {
335 "lastModified": 1742227579,335 "lastModified": 1743197357,
336 "narHash": "sha256-1f+11MWFJcTHBPVOfBhXXamQRmhPHqXl/4oCxHHeYmo=",336 "narHash": "sha256-w1CHlBl4vlX5WedroZGyx0IyRD6uSgk+73SgEhIRBEA=",
337 "owner": "StevenBlack",337 "owner": "StevenBlack",
338 "repo": "hosts",338 "repo": "hosts",
339 "rev": "5c72f8f22e58e1c74f34ea5b8a019ab7b33aaa72",339 "rev": "7e4a962196ce45df2be829fea57dc356f84dafbb",
340 "type": "github"340 "type": "github"
341 },341 },
342 "original": {342 "original": {
...@@ -419,11 +419,11 @@...@@ -419,11 +419,11 @@
419 "xdph": "xdph"419 "xdph": "xdph"
420 },420 },
421 "locked": {421 "locked": {
422 "lastModified": 1742245601,422 "lastModified": 1743437607,
423 "narHash": "sha256-02OZCZPy6J2dFpKNnWlWkpZHwV8iyi5rPSIWmB0YMvY=",423 "narHash": "sha256-EEUFIq/btzh8RZ/dv69PXvC5c7ythmCYlDOzH7vriAk=",
424 "owner": "hyprwm",424 "owner": "hyprwm",
425 "repo": "Hyprland",425 "repo": "Hyprland",
426 "rev": "5f60fc7d00eb08ee39cac1f5eceeb97ffbea0e7f",426 "rev": "4c987b20e28362410d0c9f9a37bafd6f128b0a2c",
427 "type": "github"427 "type": "github"
428 },428 },
429 "original": {429 "original": {
...@@ -449,11 +449,11 @@...@@ -449,11 +449,11 @@
449 ]449 ]
450 },450 },
451 "locked": {451 "locked": {
452 "lastModified": 1742164373,452 "lastModified": 1743339740,
453 "narHash": "sha256-O0SmKvUf5rnDczzVZbhImDzSvrsPwONI3GcWgLdsdzg=",453 "narHash": "sha256-G6a7R/gb1xH0yI2uevTmDpxZf6rvMh1lOu0gYrqVu5U=",
454 "owner": "hyprwm",454 "owner": "hyprwm",
455 "repo": "hyprland-plugins",455 "repo": "hyprland-plugins",
456 "rev": "0eb996c3ed89eeed3d493a310acd8eccb62838d9",456 "rev": "6dca4ece21864e329394b81cfc767778089097e2",
457 "type": "github"457 "type": "github"
458 },458 },
459 "original": {459 "original": {
...@@ -655,11 +655,11 @@...@@ -655,11 +655,11 @@
655 "pnpm2nix": "pnpm2nix"655 "pnpm2nix": "pnpm2nix"
656 },656 },
657 "locked": {657 "locked": {
658 "lastModified": 1741652424,658 "lastModified": 1742927915,
659 "narHash": "sha256-wgjn0YLCPC60loqRjB3mLSAVfj5LUfN1n9Hyu4npPH0=",659 "narHash": "sha256-lhTv0kAe9qvowcWVt2pxEKLcdVg2HcMYZMvqxWlDx7E=",
660 "owner": "moonlight-mod",660 "owner": "moonlight-mod",
661 "repo": "moonlight",661 "repo": "moonlight",
662 "rev": "c01adbed21f7d7963f1ccb3038c8550fcd6343f0",662 "rev": "edb548c9fb005a4eed89f2ef72f49b97baa67282",
663 "type": "github"663 "type": "github"
664 },664 },
665 "original": {665 "original": {
...@@ -695,11 +695,11 @@...@@ -695,11 +695,11 @@
695 "nixpkgs": "nixpkgs_4"695 "nixpkgs": "nixpkgs_4"
696 },696 },
697 "locked": {697 "locked": {
698 "lastModified": 1741914482,698 "lastModified": 1743254817,
699 "narHash": "sha256-bDrZUOuzPaNhvyeLwKq/FeauAT2HXeZquaM3Qm4wbuw=",699 "narHash": "sha256-Kmw/BG4Ns/5YL1GE5u75T8s2hF3c4QhuIoHWGsQ5dMI=",
700 "owner": "madsbv",700 "owner": "madsbv",
701 "repo": "nix-options-search",701 "repo": "nix-options-search",
702 "rev": "fad08278c264f5bfd26141522b8910413c77fd7c",702 "rev": "6cb84b29ea3c83df2a7a847cd42ff4ece9385dea",
703 "type": "github"703 "type": "github"
704 },704 },
705 "original": {705 "original": {
...@@ -714,14 +714,15 @@...@@ -714,14 +714,15 @@
714 "nixpkgs": [714 "nixpkgs": [
715 "nixpkgs"715 "nixpkgs"
716 ],716 ],
717 "nixpkgs-stable": "nixpkgs-stable"717 "nixpkgs-stable": "nixpkgs-stable",
718 "rust-overlay": "rust-overlay"
718 },719 },
719 "locked": {720 "locked": {
720 "lastModified": 1742209773,721 "lastModified": 1743419774,
721 "narHash": "sha256-+d9zNzXHK/qQnWfFrjFxmCNJLm1JShsLNNViJxnKIpI=",722 "narHash": "sha256-oZfx6GN9vBR5hr+CWl17ontcfeLBw0l834tj80QLwFY=",
722 "owner": "lilyinstarlight",723 "owner": "lilyinstarlight",
723 "repo": "nixos-cosmic",724 "repo": "nixos-cosmic",
724 "rev": "0b2d5feae25fe6176b5844a689712a3a13954f12",725 "rev": "4f659ef4b5b63c260ba3a2241e93355d82821f1c",
725 "type": "github"726 "type": "github"
726 },727 },
727 "original": {728 "original": {
...@@ -733,8 +734,8 @@...@@ -733,8 +734,8 @@
733 "nixpkgs": {734 "nixpkgs": {
734 "locked": {735 "locked": {
735 "lastModified": 0,736 "lastModified": 0,
736 "narHash": "sha256-7rTAMNTY1xoBwz0h7ZMtEcd8LELk9R5TzBPoHuhNSCk=",737 "narHash": "sha256-C7jVfohcGzdZRF6DO+ybyG/sqpo1h6bZi9T56sxLy+k=",
737 "path": "/nix/store/g4ppspdl4fy7hnp4jgjl4ll03v7i08w3-source",738 "path": "/nix/store/alzxn3hjisc84hrlv44x6hni48crww26-source",
738 "type": "path"739 "type": "path"
739 },740 },
740 "original": {741 "original": {
...@@ -744,11 +745,11 @@...@@ -744,11 +745,11 @@
744 },745 },
745 "nixpkgs-stable": {746 "nixpkgs-stable": {
746 "locked": {747 "locked": {
747 "lastModified": 1742136038,748 "lastModified": 1743367904,
748 "narHash": "sha256-DDe16FJk18sadknQKKG/9FbwEro7A57tg9vB5kxZ8kY=",749 "narHash": "sha256-sOos1jZGKmT6xxPvxGQyPTApOunXvScV4lNjBCXd/CI=",
749 "owner": "NixOS",750 "owner": "NixOS",
750 "repo": "nixpkgs",751 "repo": "nixpkgs",
751 "rev": "a1185f4064c18a5db37c5c84e5638c78b46e3341",752 "rev": "7ffe0edc685f14b8c635e3d6591b0bbb97365e6c",
752 "type": "github"753 "type": "github"
753 },754 },
754 "original": {755 "original": {
...@@ -775,11 +776,11 @@...@@ -775,11 +776,11 @@
775 },776 },
776 "nixpkgs_2": {777 "nixpkgs_2": {
777 "locked": {778 "locked": {
778 "lastModified": 1742069588,779 "lastModified": 1742669843,
779 "narHash": "sha256-C7jVfohcGzdZRF6DO+ybyG/sqpo1h6bZi9T56sxLy+k=",780 "narHash": "sha256-G5n+FOXLXcRx+3hCJ6Rt6ZQyF1zqQ0DL0sWAMn2Nk0w=",
780 "owner": "NixOS",781 "owner": "NixOS",
781 "repo": "nixpkgs",782 "repo": "nixpkgs",
782 "rev": "c80f6a7e10b39afcc1894e02ef785b1ad0b0d7e5",783 "rev": "1e5b653dff12029333a6546c11e108ede13052eb",
783 "type": "github"784 "type": "github"
784 },785 },
785 "original": {786 "original": {
...@@ -823,11 +824,11 @@...@@ -823,11 +824,11 @@
823 },824 },
824 "nixpkgs_5": {825 "nixpkgs_5": {
825 "locked": {826 "locked": {
826 "lastModified": 1742069588,827 "lastModified": 1743315132,
827 "narHash": "sha256-C7jVfohcGzdZRF6DO+ybyG/sqpo1h6bZi9T56sxLy+k=",828 "narHash": "sha256-6hl6L/tRnwubHcA4pfUUtk542wn2Om+D4UnDhlDW9BE=",
828 "owner": "NixOS",829 "owner": "NixOS",
829 "repo": "nixpkgs",830 "repo": "nixpkgs",
830 "rev": "c80f6a7e10b39afcc1894e02ef785b1ad0b0d7e5",831 "rev": "52faf482a3889b7619003c0daec593a1912fddc1",
831 "type": "github"832 "type": "github"
832 },833 },
833 "original": {834 "original": {
...@@ -897,11 +898,11 @@...@@ -897,11 +898,11 @@
897 ]898 ]
898 },899 },
899 "locked": {900 "locked": {
900 "lastModified": 1742058297,901 "lastModified": 1742649964,
901 "narHash": "sha256-b4SZc6TkKw8WQQssbN5O2DaCEzmFfvSTPYHlx/SFW9Y=",902 "narHash": "sha256-DwOTp7nvfi8mRfuL1escHDXabVXFGT1VlPD1JHrtrco=",
902 "owner": "cachix",903 "owner": "cachix",
903 "repo": "git-hooks.nix",904 "repo": "git-hooks.nix",
904 "rev": "59f17850021620cd348ad2e9c0c64f4e6325ce2a",905 "rev": "dcf5072734cb576d2b0c59b2ac44f5050b5eac82",
905 "type": "github"906 "type": "github"
906 },907 },
907 "original": {908 "original": {
...@@ -924,23 +925,44 @@...@@ -924,23 +925,44 @@
924 "nixos-cosmic": "nixos-cosmic",925 "nixos-cosmic": "nixos-cosmic",
925 "nixpkgs": "nixpkgs_5",926 "nixpkgs": "nixpkgs_5",
926 "nixpkgs-stable": "nixpkgs-stable_2",927 "nixpkgs-stable": "nixpkgs-stable_2",
927 "rust-overlay": "rust-overlay",928 "rust-overlay": "rust-overlay_2",
928 "zig": "zig",929 "zig": "zig",
929 "zls": "zls"930 "zls": "zls"
930 }931 }
931 },932 },
932 "rust-overlay": {933 "rust-overlay": {
934 "inputs": {
935 "nixpkgs": [
936 "nixos-cosmic",
937 "nixpkgs"
938 ]
939 },
940 "locked": {
941 "lastModified": 1743388531,
942 "narHash": "sha256-OBcNE+2/TD1AMgq8HKMotSQF8ZPJEFGZdRoBJ7t/HIc=",
943 "owner": "oxalica",
944 "repo": "rust-overlay",
945 "rev": "011de3c895927300651d9c2cb8e062adf17aa665",
946 "type": "github"
947 },
948 "original": {
949 "owner": "oxalica",
950 "repo": "rust-overlay",
951 "type": "github"
952 }
953 },
954 "rust-overlay_2": {
933 "inputs": {955 "inputs": {
934 "nixpkgs": [956 "nixpkgs": [
935 "nixpkgs"957 "nixpkgs"
936 ]958 ]
937 },959 },
938 "locked": {960 "locked": {
939 "lastModified": 1742178793,961 "lastModified": 1743388531,
940 "narHash": "sha256-S2onMdoDS4tIYd3/Jc5oFEZBr2dJOgPrh9KzSO/bfDw=",962 "narHash": "sha256-OBcNE+2/TD1AMgq8HKMotSQF8ZPJEFGZdRoBJ7t/HIc=",
941 "owner": "oxalica",963 "owner": "oxalica",
942 "repo": "rust-overlay",964 "repo": "rust-overlay",
943 "rev": "954582a766a50ebef5695a9616c93b5386418c08",965 "rev": "011de3c895927300651d9c2cb8e062adf17aa665",
944 "type": "github"966 "type": "github"
945 },967 },
946 "original": {968 "original": {
...@@ -1102,11 +1124,11 @@...@@ -1102,11 +1124,11 @@
1102 "nixpkgs": "nixpkgs_6"1124 "nixpkgs": "nixpkgs_6"
1103 },1125 },
1104 "locked": {1126 "locked": {
1105 "lastModified": 1742213554,1127 "lastModified": 1743381265,
1106 "narHash": "sha256-pG0q/oygY/Kprk4V4CYFLB8G3LGPNFtswPSBqmNX/h4=",1128 "narHash": "sha256-ZlTYtON6d7emqp5TUUKwDMvGTWp5/TLUqzT3nG3zmis=",
1107 "owner": "mitchellh",1129 "owner": "mitchellh",
1108 "repo": "zig-overlay",1130 "repo": "zig-overlay",
1109 "rev": "4460454c2f81e833dcce79378b02353403d6514b",1131 "rev": "ac26537dd011db2e8790d6b805b0c8a148b0b48d",
1110 "type": "github"1132 "type": "github"
1111 },1133 },
1112 "original": {1134 "original": {
hosts/shared/packages.nix+1
...@@ -96,6 +96,7 @@ with pkgs; [...@@ -96,6 +96,7 @@ with pkgs; [
96 ruby96 ruby
97 nodePackages.npm97 nodePackages.npm
98 go98 go
99 coq
99100
100 #gaming101 #gaming
101 prismlauncher102 prismlauncher