15:49:47.955 src-tsp/modules/apk.tsp:29:7 - error duplicate-symbol: Duplicate name: "Install"
15:49:47.955 > 29 | model Install {
15:49:47.955 | ^^^^^^^
15:49:47.956 src-tsp/modules/apt.tsp:29:7 - error duplicate-symbol: Duplicate name: "Install"
15:49:47.956 > 29 | model Install {
15:49:47.956 | ^^^^^^^
15:49:47.957 src-tsp/modules/dnf.tsp:103:7 - error duplicate-symbol: Duplicate name: "Install"
15:49:47.957 > 103 | model Install {
15:49:47.957 | ^^^^^^^
15:49:47.957 src-tsp/modules/pacman.tsp:29:7 - error duplicate-symbol: Duplicate name: "Install"
15:49:47.957 > 29 | model Install {
15:49:47.957 | ^^^^^^^
15:49:47.958 src-tsp/modules/zypper.tsp:29:7 - error duplicate-symbol: Duplicate name: "Install"
15:49:47.958 > 29 | model Install {
15:49:47.958 | ^^^^^^^
15:49:47.958 src-tsp/modules/apk.tsp:35:7 - error duplicate-symbol: Duplicate name: "Remove"
15:49:47.958 > 35 | model Remove {
15:49:47.958 | ^^^^^^
15:49:47.959 src-tsp/modules/apt.tsp:35:7 - error duplicate-symbol: Duplicate name: "Remove"
15:49:47.959 > 35 | model Remove {
15:49:47.959 | ^^^^^^
15:49:47.960 src-tsp/modules/dnf.tsp:122:7 - error duplicate-symbol: Duplicate name: "Remove"
15:49:47.960 > 122 | model Remove {
15:49:47.960 | ^^^^^^
15:49:47.960 src-tsp/modules/pacman.tsp:35:7 - error duplicate-symbol: Duplicate name: "Remove"
15:49:47.960 > 35 | model Remove {
15:49:47.960 | ^^^^^^
15:49:47.961 src-tsp/modules/zypper.tsp:35:7 - error duplicate-symbol: Duplicate name: "Remove"
15:49:47.961 > 35 | model Remove {
15:49:47.961 | ^^^^^^
15:49:47.961
15:49:47.961 Found 10 errors.
