Yes. There is a tag “panda3d_1_3_0” in there. There’s also “panda3d_1_3_branch” which is a branch tag.