Revision 073dcd10b51e518568f4af281c04c47c30987e9e authored by marcbeunardeau on 25 August 2023, 13:33:56 UTC, committed by marcbeunardeau on 25 August 2023, 16:03:18 UTC
1 parent 8bb3d56
| File | Mode | Size |
|---|---|---|
| opam-repo.nix | -rw-r--r-- | 322 bytes |
| overlays.nix | -rw-r--r-- | 1.2 KB |
| sources.nix | -rw-r--r-- | 843 bytes |
| tezos-opam-repo.nix | -rw-r--r-- | 331 bytes |
Computing file changes ...
