Skip to content

Commit

Permalink
nix
Browse files Browse the repository at this point in the history
  • Loading branch information
@gares
gares committed Sep 12, 2024
1 parent 22430c7 commit 761b53b
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions .nix/coq-nix-toolbox.nix
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1 @@
"a8ab933c548cf9eac390a5dddaad7cf226758213"

"85fe71740440d17baca09184b3829ab638a4bfe8"

0 comments on commit 761b53b

Please sign in to comment.