Skip to content

Commit 6552495

Browse files
committed
[CI] Update Nix toolbox
1 parent 7ee951d commit 6552495

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.nix/coq-nix-toolbox.nix

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
"513125b0f59fa52c3919c5f2bdc63077d341b18a"
1+
"ee1cc6946f9f33dd281f74cd5c5273786f0e0850"

0 commit comments

Comments
 (0)