diff options
| author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2022-12-23 16:29:38 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-23 16:29:38 +0000 |
| commit | 936beccf8c033f7c86718c8f7df80cc5a00e1526 (patch) | |
| tree | 53910d4a5dda02a48c4120782b5245e40abd644d /types.nix | |
| parent | 935feb7496cbf96119f1eeb951f258c1550b3273 (diff) | |
| parent | 236e08da9c2a123ae746ffc4b55dc311cf62ea29 (diff) | |
Merge pull request #91 from nix-community/fix-ci
pin nixpkgs again
Diffstat (limited to 'types.nix')
0 files changed, 0 insertions, 0 deletions