Revision 9239631771d8bd60674225f675ea68f72b2d05fc authored by pecornilleau on 08 August 2023, 08:10:34 UTC, committed by pecornilleau on 08 August 2023, 10:16:45 UTC
1 parent 58028e1
| 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 ...
