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)
commit763d06e4f11c339f265427cd6d644e1b761d09e9
treed56c153589f3c481f8e7a42dcce7c84f14a77d98
parent9a8d252ba0851077a68e68daa98cda7c3b345b9d
parenta07c862c1f684c4e8703b77b1d737d819beb97d6
Merge branch 'nix' into 'main'

Relax dependencies and handle compat for nix 0.28

See merge request iwj/hippotat!35