Skip to content

Commit

Permalink
Updated coq-nix-toolbox version
Browse files Browse the repository at this point in the history
  • Loading branch information
@anlun
anlun committed May 10, 2024
1 parent 5439684 commit 067fe35
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 @@
"fca0f055eac704f1774a36518b073f20e7cf9862"
"f1b09a01e35f96ff345095e45f27cb6672567fa9"

0 comments on commit 067fe35

Please sign in to comment.