From b10ca5e6ec400f0937112ad640c4fc0d884d462f Mon Sep 17 00:00:00 2001 From: "cocotec-automation[bot]" <244153713+cocotec-automation[bot]@users.noreply.github.com> Date: Thu, 24 Sep 2026 01:53:56 +0000 Subject: [PATCH] popili-beta: update plugin to 1.6.0-beta.1 --- popili-beta/.claude-plugin/plugin.json | 2 +- popili-beta/plugin.json | 9 ++------- 2 files changed, 3 insertions(+), 8 deletions(-) diff --git a/popili-beta/.claude-plugin/plugin.json b/popili-beta/.claude-plugin/plugin.json index 9237cab..7b86272 100644 --- a/popili-beta/.claude-plugin/plugin.json +++ b/popili-beta/.claude-plugin/plugin.json @@ -1,7 +1,7 @@ { "name": "popili", "description": "Popili formal verification and code intelligence for the Coco language", - "version": "0.1.0", + "version": "1.6.0-beta.1", "author": { "name": "Cocotec" } diff --git a/popili-beta/plugin.json b/popili-beta/plugin.json index 8e39f88..ba14762 100644 --- a/popili-beta/plugin.json +++ b/popili-beta/plugin.json @@ -2,17 +2,12 @@ "$schema": "https://agent-plugins.org/schemas/1.0.0/plugin.schema.json", "name": "popili", "description": "Popili formal verification and code intelligence for the Coco language", - "version": "0.1.0", + "version": "1.6.0-beta.1", "author": { "name": "Cocotec", "email": "support@cocotec.io", "url": "https://cocotec.io" }, "homepage": "https://cocotec.io/popili", - "keywords": [ - "coco", - "popili", - "formal-verification", - "model-checking" - ] + "keywords": ["coco", "popili", "formal-verification", "model-checking"] }