chiark / gitweb /
Merge branch 'nix' into 'main'
authorIan Jackson <iwj@debian.org>
Sun, 25 Feb 2024 18:13:44 +0000 (18:13 +0000)
committerIan Jackson <iwj@debian.org>
Sun, 25 Feb 2024 18:13:44 +0000 (18:13 +0000)
Relax dependencies and handle compat for nix 0.28

See merge request iwj/hippotat!35


Trivial merge