Skip to content

Commit

Permalink
New coq-nix-toolbox.ni
Browse files Browse the repository at this point in the history
  • Loading branch information
@hivert
hivert committed Jan 8, 2025
1 parent 8c9c820 commit 243e507
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 @@
"dd771a5001cd955514f2462cad7cdd90377530e3"
"98bf866ef64cd2f9c4ba6a9eb73b16c5019fcde7"

0 comments on commit 243e507

Please sign in to comment.