Skip to content

Commit

Permalink
Update Nix toolbox
Browse files Browse the repository at this point in the history
  • Loading branch information
@pi8027
pi8027 committed Jul 26, 2024
1 parent 61eb4bb commit 2e0abfb
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .nix/coq-nix-toolbox.nix
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
"66abb687550ec2800bc1724036cfb5d9656c901c"
"53c930417a1185c9d9e87f9a79e2479004a04954"

0 comments on commit 2e0abfb

Please sign in to comment.