ee752e1e - nixos-config

Authored by: Anthony Wang
Authored at: 2026-06-04 19:07:41 -0400
Committed by: Anthony Wang
Committed at: 2026-06-04 19:07:41 -0400
Signature: View
-----BEGIN SSH SIGNATURE----- U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAg8Ms9qQOcB6WoVNS51AHxfRPvJz /x6RXeMaql4lvTraUAAAADZ2l0AAAAAAAAAAZzaGE1MTIAAABTAAAAC3NzaC1lZDI1NTE5 AAAAQLXCnH6qeq4RN7o0AHvFmRmr5EyRgNrUDJg4Kigybbh3DghQyq1fG7vEsEVX6aBDyA 9WmncCD4J4RIhIMLDupQU= -----END SSH SIGNATURE-----
Object name: ee752e1e44e409bdfa0e72285dd356457a6ffba3
Parent: ea9750a8

COQHAMMER

Changes

1 changed files (+2/-0)

laptop.nix
- @@ -79,6 +79,8 @@ in
  # Unfortunately (coq.withPackages ( ps: with ps; [ + coq # This is needed because coq-hammer expects coq-core, not rocq-core + coq-hammer stdlib vsrocq-language-server ]