From f75747debaf6e6a2d35478a5829dd3979eae6351 Mon Sep 17 00:00:00 2001 From: "cocotec-automation[bot]" <244153713+cocotec-automation[bot]@users.noreply.github.com> Date: Mon, 19 Oct 2026 16:40:55 +0000 Subject: [PATCH] popili-beta: update plugin to 1.6.0-beta.3 --- popili-beta/.claude-plugin/plugin.json | 2 +- popili-beta/plugin.json | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/popili-beta/.claude-plugin/plugin.json b/popili-beta/.claude-plugin/plugin.json index 7b86272..acde378 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": "1.6.0-beta.1", + "version": "1.6.0-beta.3", "author": { "name": "Cocotec" } diff --git a/popili-beta/plugin.json b/popili-beta/plugin.json index ba14762..9697bd5 100644 --- a/popili-beta/plugin.json +++ b/popili-beta/plugin.json @@ -2,7 +2,7 @@ "$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": "1.6.0-beta.1", + "version": "1.6.0-beta.3", "author": { "name": "Cocotec", "email": "support@cocotec.io",