swh:1:snp:505c374fd75bb208ae4e9a54e64bb310bc49295e
Raw File
Tip revision: ddfbb8d6a17515f834eff1a5a05a8664d2b37b9e authored by Marge Bot on 12 March 2024, 19:34:11 UTC
Merge tezos/tezos!12427: Nix: Fix shell.nix and default.nix after opam-repo refactor
Tip revision: ddfbb8d
eq_03.tzt
code { EQ } ;
input { Stack_elt int 1 } ;
output { Stack_elt bool False } ;
back to top