Skip to content

Commit 153bce7

Browse files
rv-jenkinsrv-auditorjuliankuners
authored
Update dependency: deps/uv2nix (#846)
Co-authored-by: devops <devops@runtimeverification.com> Co-authored-by: Julian Kuners <julian.kuners@gmail.com>
1 parent 48e9abd commit 153bce7

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎deps/uv2nix‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
b6ed0901aec29583532abe65117b18d86a49b617
1+
c8cf711802cb00b2e05d5c54d3486fce7bfc8f7c

0 commit comments

Comments
 (0)