https://github.com/ott-lang/ott/releases/tag/0.31 https://github.com/NixOS/nixpkgs/blob/nixos-21.05/pkgs/applications/science/logic/ott/default.nix#L28
