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 8, 2024
1 parent a25ffeb commit 55c49de
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 @@
"281be33f1e42a92e5c47f30907819aad1a45e5f2"
"66abb687550ec2800bc1724036cfb5d9656c901c"

0 comments on commit 55c49de

Please sign in to comment.