https://gitlab.com/tezos/tezos
History
Tip revision: bb688ffbc18dbfbb922578d8a8f1085bd511b824 authored by Pierrick Couderc on 29 June 2023, 12:30:11 UTC
DO NOT MERGE: Profile does a kernel_run only
Tip revision: bb688ff
File Mode Size
octez-deps.opam -rw-r--r-- 2.9 KB
octez-dev-deps.opam -rw-r--r-- 711 bytes

back to top