{"_id":"@runtimeverificationinc/web-components","_rev":"56-55f46af01c661220481a68d3fca8a9dc","name":"@runtimeverificationinc/web-components","dist-tags":{"ci-cd":"1.14.6","web-viz-no-artifacts":"1.15.1","improve-import-css":"1.16.2","feat/url-overwrite-support":"1.17.1","move-new-components":"1.18.12","graphviz":"1.19.1","graphviz-fixes":"1.22.4","create-footer":"1.24.1","fix-footer-dark":"1.25.1","edit-graphviz":"1.26.2","fix/graphviz-cursor":"1.27.1","update-footer-company-address-2":"1.28.1","latest":"1.30.5"},"versions":{"1.2.0":{"name":"@runtimeverificationinc/web-components","version":"1.2.0","_id":"@runtimeverificationinc/web-components@1.2.0","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"21be3a4d93b41343470bdf50d35597e2ca416bbd","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.2.0.tgz","fileCount":35,"integrity":"sha512-m7Q9LDrHUxsW7R0xPXc6Xo/hQiNQNhnIxDhRya/GoFoO0zxgAvgLXRxFhaUiC+xtjVXzgVrZ1dY47DwXv6RiNw==","signatures":[{"sig":"MEYCIQDCLT/BHPAcLyqnI99gZ3HXXdylunw4BvqheAG2llt69wIhAJMoc8uuqz3fqsuglRIOljPDSkJ+5uaFjLxlpmc7kKqd","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":84035},"main":"dist/cjs/index.js","types":"dist/index.d.ts","module":"dist/esm/index.js","gitHead":"72d7a498dd5abda71c67493d265325e6e141e34d","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.1.0","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"_nodeVersion":"20.9.0","dependencies":{"tslib":"^2.5.0","rollup":"^3.21.6","daisyui":"^2.51.6","storybook":"^7.0.10","tailwindcss":"^3.3.2","rollup-plugin-dts":"^5.3.0","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@rollup/plugin-commonjs":"^24.1.0","@rollup/plugin-typescript":"^11.1.0","@rollup/plugin-node-resolve":"^15.0.2","rollup-plugin-peer-deps-external":"^2.2.4"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","postcss":"^8.4.23","react-dom":"^18.2.0","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-image":"^3.0.2","@storybook/addon-links":"^7.0.10","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@storybook/testing-library":"^0.1.0","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.2.0_1700688239301_0.6840360644450982","host":"s3://npm-registry-packages"}},"1.6.0":{"name":"@runtimeverificationinc/web-components","version":"1.6.0","_id":"@runtimeverificationinc/web-components@1.6.0","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"5945bcac2f791c9a143e2f84de793d62a7d35f4d","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.6.0.tgz","fileCount":35,"integrity":"sha512-jt7PJqTrZjAz1NKc8IPm+oVsaJ2DjlVzZVmpU1PfrU17qfF+KvhTwVkmpJDfu6GHlB9MbFganWOf41oeywprsQ==","signatures":[{"sig":"MEYCIQDR2Hti2EOy3MzgOb6+QSpYbUs8Giv3APzmMdIdRG8GTgIhAIm4PP5E3TRhLp2bwy8UnOIpWdElmbeoSKDqnMFvAnfc","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":83854},"main":"dist/cjs/index.js","types":"dist/index.d.ts","module":"dist/esm/index.js","gitHead":"fce2a6aab8e580be257736e39e5189df85169bba","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.1.0","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"_nodeVersion":"20.9.0","dependencies":{"tslib":"^2.5.0","rollup":"^3.21.6","daisyui":"^2.51.6","storybook":"^7.0.10","tailwindcss":"^3.3.2","rollup-plugin-dts":"^5.3.0","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@rollup/plugin-commonjs":"^24.1.0","@rollup/plugin-typescript":"^11.1.0","@rollup/plugin-node-resolve":"^15.0.2","rollup-plugin-peer-deps-external":"^2.2.4"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","postcss":"^8.4.23","react-dom":"^18.2.0","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-image":"^3.0.2","@storybook/addon-links":"^7.0.10","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@storybook/testing-library":"^0.1.0","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.6.0_1700688573597_0.31781749804964265","host":"s3://npm-registry-packages"}},"1.7.0":{"name":"@runtimeverificationinc/web-components","version":"1.7.0","_id":"@runtimeverificationinc/web-components@1.7.0","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"8af69afcf63e7fee36806a9da1fc150fc0803238","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.7.0.tgz","fileCount":35,"integrity":"sha512-1i16CuRgCEbJszYsk5EUiKJX2n/KXRyBOvqzeBMF97MAqoJYFeDn+cMqhpPMLi0D7fMAEB8Ne/QoZTmT7pNKXQ==","signatures":[{"sig":"MEQCICUZgwYp+UACo52YQFr6oiDyRfuMnb9ulocyMfKnNA9xAiAp8fqpHbdvfyf/kErsIFcH0QWJ7exXmJ7IZzd3F4FgeQ==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":83854},"main":"dist/cjs/index.js","types":"dist/index.d.ts","module":"dist/esm/index.js","gitHead":"44b7677b91327c14068f820c83f8b9ade1dbd09a","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.1.0","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"_nodeVersion":"20.9.0","dependencies":{"tslib":"^2.5.0","rollup":"^3.21.6","daisyui":"^2.51.6","storybook":"^7.0.10","tailwindcss":"^3.3.2","rollup-plugin-dts":"^5.3.0","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@rollup/plugin-commonjs":"^24.1.0","@rollup/plugin-typescript":"^11.1.0","@rollup/plugin-node-resolve":"^15.0.2","rollup-plugin-peer-deps-external":"^2.2.4"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","postcss":"^8.4.23","react-dom":"^18.2.0","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-image":"^3.0.2","@storybook/addon-links":"^7.0.10","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@storybook/testing-library":"^0.1.0","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.7.0_1700688657125_0.41478347151327166","host":"s3://npm-registry-packages"}},"1.9.0":{"name":"@runtimeverificationinc/web-components","version":"1.9.0","_id":"@runtimeverificationinc/web-components@1.9.0","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"aed51db4af241002f6568c9eff7d1f04ebab4878","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.9.0.tgz","fileCount":35,"integrity":"sha512-dRe9ua1P6r3k3CKanQjMPx2J7sf6cve3wlf+j8ThsLLfPA0y3EFcPu6c00fc7Zm7D4Spi4fOQ1yzhQrAkyL8UQ==","signatures":[{"sig":"MEUCIGQ1RoKMLKLKWFh068xDsq1BKdUlfFA85O8+08jmDrUfAiEA9+m0TH5Ianf3Yc9cKz5qrIaUFTOWnkOcRauWIGp23Jw=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":83854},"main":"dist/cjs/index.js","types":"dist/index.d.ts","module":"dist/esm/index.js","gitHead":"9a4b35af022338a5816a43afc949f025a1dc444a","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.1.0","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"_nodeVersion":"20.9.0","dependencies":{"tslib":"^2.5.0","rollup":"^3.21.6","daisyui":"^2.51.6","storybook":"^7.0.10","tailwindcss":"^3.3.2","rollup-plugin-dts":"^5.3.0","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@rollup/plugin-commonjs":"^24.1.0","@rollup/plugin-typescript":"^11.1.0","@rollup/plugin-node-resolve":"^15.0.2","rollup-plugin-peer-deps-external":"^2.2.4"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","postcss":"^8.4.23","react-dom":"^18.2.0","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-image":"^3.0.2","@storybook/addon-links":"^7.0.10","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@storybook/testing-library":"^0.1.0","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.9.0_1700689124444_0.33713856835678335","host":"s3://npm-registry-packages"}},"1.13.0":{"name":"@runtimeverificationinc/web-components","version":"1.13.0","_id":"@runtimeverificationinc/web-components@1.13.0","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"a43eac34c9f2708e88ccfd10fd955adad31871fd","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.13.0.tgz","fileCount":35,"integrity":"sha512-Z1BFgKda6N/lJBknpt8hWVclnFdjXw00hL2RtHc+nzisunmod0fMyzJw8+t2GufpVaeOaAOvabv12iL2PZPT/w==","signatures":[{"sig":"MEYCIQDanr4FC0KDZav6zi2nTmOvxxWIQvrNYxl3O4fteHvc4wIhAKoXE5AWi872+yU56tNo5OZareHBmtE02AHaMoZlq0q8","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":83855},"main":"dist/cjs/index.js","types":"dist/index.d.ts","module":"dist/esm/index.js","gitHead":"1e5101d289be2e7fd00bdc49a57c26e157783a9d","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.1.0","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"_nodeVersion":"20.9.0","dependencies":{"tslib":"^2.5.0","rollup":"^3.21.6","daisyui":"^2.51.6","storybook":"^7.0.10","tailwindcss":"^3.3.2","rollup-plugin-dts":"^5.3.0","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@rollup/plugin-commonjs":"^24.1.0","@rollup/plugin-typescript":"^11.1.0","@rollup/plugin-node-resolve":"^15.0.2","rollup-plugin-peer-deps-external":"^2.2.4"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","postcss":"^8.4.23","react-dom":"^18.2.0","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-image":"^3.0.2","@storybook/addon-links":"^7.0.10","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@storybook/testing-library":"^0.1.0","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.13.0_1700689597260_0.23976841305173568","host":"s3://npm-registry-packages"}},"1.14.0":{"name":"@runtimeverificationinc/web-components","version":"1.14.0","_id":"@runtimeverificationinc/web-components@1.14.0","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"f0aaffab8dfa1f4fd99e3534c2d3f8a28eaa19a9","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.14.0.tgz","fileCount":35,"integrity":"sha512-35b9l3A3vn1bYn5T1da6zwzGBnpXsC2D1t57Rx9/RAcSCRHNzx4WAvR8NVbS3FmLJVp6SznGSuLYZonowcr5Vw==","signatures":[{"sig":"MEUCICFSmJl20BrVlpLW4taK2y9v0PlZ2o21UPoCZE2oa1yjAiEAtPaa48BeIWQE0Z0mAuC91qMsQkX1q79UYa03aluLZoA=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":83855},"main":"dist/cjs/index.js","types":"dist/index.d.ts","module":"dist/esm/index.js","gitHead":"a9b8b42be9eaa72f5318d76094b652eafdfba98c","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.1.0","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"_nodeVersion":"20.9.0","dependencies":{"tslib":"^2.5.0","rollup":"^3.21.6","daisyui":"^2.51.6","storybook":"^7.0.10","tailwindcss":"^3.3.2","rollup-plugin-dts":"^5.3.0","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@rollup/plugin-commonjs":"^24.1.0","@rollup/plugin-typescript":"^11.1.0","@rollup/plugin-node-resolve":"^15.0.2","rollup-plugin-peer-deps-external":"^2.2.4"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","postcss":"^8.4.23","react-dom":"^18.2.0","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-image":"^3.0.2","@storybook/addon-links":"^7.0.10","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@storybook/testing-library":"^0.1.0","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.14.0_1700689840999_0.5821963291533969","host":"s3://npm-registry-packages"}},"1.14.3":{"name":"@runtimeverificationinc/web-components","version":"1.14.3","_id":"@runtimeverificationinc/web-components@1.14.3","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"2a723d4770a42b6bbd0f80833c2ffa3b4df0ee4a","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.14.3.tgz","fileCount":35,"integrity":"sha512-tqCRC15t52+lvK2bqzswO62zh0gvrn7NhpbEJr6+MWSD2emaJm9x10arJrckWGkp0agNAcfLROtbGjWcpT53rQ==","signatures":[{"sig":"MEQCIEJVD3mIdlhNSasWjC6H8C23LqecVlOUVNslsXlBwsGKAiBLiSf7Y1Cc0A5dieX97YaD3N07sQAg5LN0esNmYgyKDQ==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":83855},"main":"dist/cjs/index.js","types":"dist/index.d.ts","module":"dist/esm/index.js","gitHead":"eb006aca938510bc748f35dfd22d26bba3baf41d","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.1.0","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"_nodeVersion":"20.9.0","dependencies":{"tslib":"^2.5.0","rollup":"^3.21.6","daisyui":"^2.51.6","storybook":"^7.0.10","tailwindcss":"^3.3.2","rollup-plugin-dts":"^5.3.0","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@rollup/plugin-commonjs":"^24.1.0","@rollup/plugin-typescript":"^11.1.0","@rollup/plugin-node-resolve":"^15.0.2","rollup-plugin-peer-deps-external":"^2.2.4"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"readmeFilename":"README.md","devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","postcss":"^8.4.23","react-dom":"^18.2.0","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-image":"^3.0.2","@storybook/addon-links":"^7.0.10","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@storybook/testing-library":"^0.1.0","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.14.3_1700691870834_0.4090357848872519","host":"s3://npm-registry-packages"}},"1.14.4":{"name":"@runtimeverificationinc/web-components","version":"1.14.4","_id":"@runtimeverificationinc/web-components@1.14.4","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"b587d6a1688b316d5b00686fcd4a8284ef5d3400","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.14.4.tgz","fileCount":35,"integrity":"sha512-Um+R9S/kwr45gkoh0/46/55ccEV0A6DeMRFmEdKQKJkicSIlZsydWqDy3Fdbejy63qbYutUYXhBUSdqOFN9Xyw==","signatures":[{"sig":"MEUCIQCGWRe+fISDHPNa8/898yxstZX8QpzNj6LqwaNDa9Q8jwIgfVq6dOrL8vJwGcEeTp1iyABQkAUdK+WTieTmDnheJfY=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":83855},"main":"dist/cjs/index.js","types":"dist/index.d.ts","module":"dist/esm/index.js","gitHead":"185db6848841748f4409ee916a4c165963a0caa4","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.1.0","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"_nodeVersion":"20.9.0","dependencies":{"tslib":"^2.5.0","rollup":"^3.21.6","daisyui":"^2.51.6","storybook":"^7.0.10","tailwindcss":"^3.3.2","rollup-plugin-dts":"^5.3.0","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@rollup/plugin-commonjs":"^24.1.0","@rollup/plugin-typescript":"^11.1.0","@rollup/plugin-node-resolve":"^15.0.2","rollup-plugin-peer-deps-external":"^2.2.4"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"readmeFilename":"README.md","devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","postcss":"^8.4.23","react-dom":"^18.2.0","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-image":"^3.0.2","@storybook/addon-links":"^7.0.10","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@storybook/testing-library":"^0.1.0","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.14.4_1700691995621_0.9193605098874986","host":"s3://npm-registry-packages"}},"1.14.5":{"name":"@runtimeverificationinc/web-components","version":"1.14.5","_id":"@runtimeverificationinc/web-components@1.14.5","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"e880a986e4290b6408128bb06bbedcd3487d671c","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.14.5.tgz","fileCount":35,"integrity":"sha512-qyN6Oeam5ULZQ85cPF+M2phdukunNPONSG/hylr7CZIYKaINd5jfL7bInCKIucRGDm3LBukX6cB+Px0NgXFqyA==","signatures":[{"sig":"MEUCIBN8SIVM1yG56tjwLYY97H0g+iCJIYCm2aR2l3Z8NdSsAiEApMIji+1jg/0NgXKSw7pt5SrxdBMTtrHLYfv3RryPAC4=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":83855},"main":"dist/cjs/index.js","types":"dist/index.d.ts","module":"dist/esm/index.js","gitHead":"919e805c162cad5e0fbba2c6df2f0a189aa3ea3a","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.1.0","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"_nodeVersion":"20.9.0","dependencies":{"tslib":"^2.5.0","rollup":"^3.21.6","daisyui":"^2.51.6","storybook":"^7.0.10","tailwindcss":"^3.3.2","rollup-plugin-dts":"^5.3.0","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@rollup/plugin-commonjs":"^24.1.0","@rollup/plugin-typescript":"^11.1.0","@rollup/plugin-node-resolve":"^15.0.2","rollup-plugin-peer-deps-external":"^2.2.4"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"readmeFilename":"README.md","devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","postcss":"^8.4.23","react-dom":"^18.2.0","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-image":"^3.0.2","@storybook/addon-links":"^7.0.10","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@storybook/testing-library":"^0.1.0","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.14.5_1700692064024_0.1959072202313039","host":"s3://npm-registry-packages"}},"1.14.6":{"name":"@runtimeverificationinc/web-components","version":"1.14.6","_id":"@runtimeverificationinc/web-components@1.14.6","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"47ce453d6bee7829c20525287c061e5699a3b5c2","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.14.6.tgz","fileCount":35,"integrity":"sha512-pk90CHiIX2lEVvPchU12kaUlq1CPeFdTZCk4cGLUVqmu3uLQ7qZA6QroI+UA142ylgWZzBf7ir48qO4mZ7qRlA==","signatures":[{"sig":"MEQCIDIii1vnfVEWR2doTeS8O4+Ljul0mUGkgzJrLyWXkeC7AiB6J1/+cpbHsGCZWOHAsXLzGdbTAWdrxn7M7Xuf5YNTrw==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":83855},"main":"dist/cjs/index.js","types":"dist/index.d.ts","module":"dist/esm/index.js","gitHead":"c572e12a4314f0846bcd406424efc161ceb6aa13","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.1.0","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"_nodeVersion":"20.9.0","dependencies":{"tslib":"^2.5.0","rollup":"^3.21.6","daisyui":"^2.51.6","storybook":"^7.0.10","tailwindcss":"^3.3.2","rollup-plugin-dts":"^5.3.0","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@rollup/plugin-commonjs":"^24.1.0","@rollup/plugin-typescript":"^11.1.0","@rollup/plugin-node-resolve":"^15.0.2","rollup-plugin-peer-deps-external":"^2.2.4"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"readmeFilename":"README.md","devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","postcss":"^8.4.23","react-dom":"^18.2.0","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-image":"^3.0.2","@storybook/addon-links":"^7.0.10","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@storybook/testing-library":"^0.1.0","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.14.6_1700692252063_0.35344330800559565","host":"s3://npm-registry-packages"}},"1.15.0":{"name":"@runtimeverificationinc/web-components","version":"1.15.0","_id":"@runtimeverificationinc/web-components@1.15.0","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"fd3012778f63c993a5a3aacd3cc2fe500ee1257b","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.15.0.tgz","fileCount":35,"integrity":"sha512-0J21A1El5BJKgSMdfT1dk+PvQD1RDzVWHuzEJuGpW5cblqFYNjYC9+AjgZe6+WzBwzDYLDpzalnCwSoj0ncFjQ==","signatures":[{"sig":"MEUCIQC98VWxSRMDrVYFhueQSIJSqMs/Fo+EFYSg9Euc3bWNGwIgLdr3G/MhSaX4Ykv/AKzbOrhCN38sMIg+jVRGfJygRXg=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":83855},"main":"dist/cjs/index.js","types":"dist/index.d.ts","module":"dist/esm/index.js","gitHead":"1ac06f33d8a86b1a5567354a9d6eb54c2582be85","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.1.0","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"_nodeVersion":"20.9.0","dependencies":{"tslib":"^2.5.0","rollup":"^3.21.6","daisyui":"^2.51.6","storybook":"^7.0.10","tailwindcss":"^3.3.2","rollup-plugin-dts":"^5.3.0","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@rollup/plugin-commonjs":"^24.1.0","@rollup/plugin-typescript":"^11.1.0","@rollup/plugin-node-resolve":"^15.0.2","rollup-plugin-peer-deps-external":"^2.2.4"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","postcss":"^8.4.23","react-dom":"^18.2.0","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-image":"^3.0.2","@storybook/addon-links":"^7.0.10","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@storybook/testing-library":"^0.1.0","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.15.0_1700692372659_0.3556265726958032","host":"s3://npm-registry-packages"}},"1.15.1":{"name":"@runtimeverificationinc/web-components","version":"1.15.1","_id":"@runtimeverificationinc/web-components@1.15.1","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"e0862a3f23ffb1472a1615c57954a1983b2b9aea","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.15.1.tgz","fileCount":18,"integrity":"sha512-k3fiXsz3apv4UWhfrA38+nwZcCJ7gU3djZYaBwvJZJNLlkEEYdWphPCElHt/FjcbETf3h3F00lbE4Q81nq5+mw==","signatures":[{"sig":"MEUCIQC+ufWuwi61waU4mF3D9DunBF5cFi7QE0AGWJkqXHRyXQIgCLKhleb2WQ3zJhMCEvLpPFmSq4X8z3TIrqxJU6HukOg=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":1471551},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"33e3d90ca7cbec37965ee9d431e3f132e973f55c","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.1.0","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"_nodeVersion":"20.9.0","dependencies":{"tslib":"^2.5.0","daisyui":"^2.51.6","reactflow":"^11.8.3","classnames":"^2.3.2","react-icons":"^4.11.0","tailwindcss":"^3.3.2"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"readmeFilename":"README.md","devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","tailwindcss":"3.3.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.15.1_1700692502308_0.006663107467955953","host":"s3://npm-registry-packages"}},"1.16.0":{"name":"@runtimeverificationinc/web-components","version":"1.16.0","_id":"@runtimeverificationinc/web-components@1.16.0","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"1bfc86be16368f37c1c5319c228760ad10cd8bd8","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.16.0.tgz","fileCount":18,"integrity":"sha512-iIP2Kx8i4wjmsIGkg5CHku9O5Zra6HztuV9C3UOjSJAHYJ+F6pKKe/gF2lzQjjtZmDFyVsjYhbngNp6I1SrTjw==","signatures":[{"sig":"MEUCIQCCX2JCg6vu+lrdEIoT9pHOwT1lKoHRm19i0LfPGTNnEgIgDEFHWbInw2Xz9qIjFunNHxx5sQtUlr4G78IoG7i/fkY=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":1471551},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"b9cffab1ed63c534bd15ce3fc86374f3facd7f14","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.1.0","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"_nodeVersion":"20.9.0","dependencies":{"tslib":"^2.5.0","daisyui":"^2.51.6","reactflow":"^11.8.3","classnames":"^2.3.2","react-icons":"^4.11.0","tailwindcss":"^3.3.2"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","tailwindcss":"3.3.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.16.0_1700692583324_0.4235167010435634","host":"s3://npm-registry-packages"}},"1.16.1":{"name":"@runtimeverificationinc/web-components","version":"1.16.1","_id":"@runtimeverificationinc/web-components@1.16.1","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"8216643f4d20f73c8c6b0f79c566dc4719030307","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.16.1.tgz","fileCount":18,"integrity":"sha512-JNfyUX8uWREF0Gvjw3cJ3tqgW1YK8XcQDS3zsGpGZ+J08YDDlq83MGSabm78nHqq5h8wewxSZ+n5hbbsP3u4mw==","signatures":[{"sig":"MEUCIG6+e5RQq7mVzDmsECBWApHJySHZ1w05bqntiuDfSWL/AiEAl4q8I5g84ejjp6q7UzXY9MmbzIXmyyC+6YfcO+OhtlY=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":1472243},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"a8c8a7b65e167f6c1ed418a2de43f2ddee49840f","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.1.0","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"_nodeVersion":"20.9.0","dependencies":{"tslib":"^2.5.0","daisyui":"^2.51.6","reactflow":"^11.8.3","classnames":"^2.3.2","react-icons":"^4.11.0","tailwindcss":"^3.3.2"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"readmeFilename":"README.md","devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","tailwindcss":"3.3.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.16.1_1700699241779_0.6502565691264175","host":"s3://npm-registry-packages"}},"1.16.2":{"name":"@runtimeverificationinc/web-components","version":"1.16.2","_id":"@runtimeverificationinc/web-components@1.16.2","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"664b824b0063969ef6b01a54511f9f6e0af0e1a7","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.16.2.tgz","fileCount":18,"integrity":"sha512-Ux9XGTq9saanaXr84Z1hmBFECZ4XKv0k25lsp6T6rz+HA+kqjLBqSNvQUtLwBsqRigfo8oXAB4HBgkx/it8JJQ==","signatures":[{"sig":"MEUCIQCi8IDTy+URh5ATXWyDJQ51CSTwRYeVq0iQYSTXyuOGZAIgYlrm/VLkreeyJqu6RGZQzu2Hh6HnUxqqLGeR9stUbsI=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":1472087},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"74b1a927dc2be0864f33d46e5ccbb8638d451654","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.1.0","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"_nodeVersion":"20.9.0","dependencies":{"tslib":"^2.5.0","daisyui":"^2.51.6","reactflow":"^11.8.3","classnames":"^2.3.2","react-icons":"^4.11.0","tailwindcss":"^3.3.2"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"readmeFilename":"README.md","devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","tailwindcss":"3.3.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.16.2_1700699444342_0.9548820697130329","host":"s3://npm-registry-packages"}},"1.17.0":{"name":"@runtimeverificationinc/web-components","version":"1.17.0","_id":"@runtimeverificationinc/web-components@1.17.0","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"8a0cf1f461407aefd45aeb4cc9f85436220d8971","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.17.0.tgz","fileCount":18,"integrity":"sha512-h7dq/3hLFiQWrtECY2r26+hdmWRnHgXi6vG+NhiQ5IPQ8mmJTIvuSOBVP8X2Q71JP1MScyHMCWL0+pbx7f0bsw==","signatures":[{"sig":"MEUCIApK/x/yie6z1eULqlEbexmOavryoGqPmvXL71nLCwhSAiEA3RX6yEYcTGdJpaPiHMVdb/rIpiHdESYRVJEkY+A1v4k=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":1472087},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"cf08b4b131d555bda2c2ada9d91441cb45002555","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.1.0","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"_nodeVersion":"20.9.0","dependencies":{"tslib":"^2.5.0","daisyui":"^2.51.6","reactflow":"^11.8.3","classnames":"^2.3.2","react-icons":"^4.11.0","tailwindcss":"^3.3.2"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","tailwindcss":"3.3.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.17.0_1700699728696_0.25268383527571836","host":"s3://npm-registry-packages"}},"1.17.1":{"name":"@runtimeverificationinc/web-components","version":"1.17.1","_id":"@runtimeverificationinc/web-components@1.17.1","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"27ba283e960f918215913ce37aed5b7835cd1e38","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.17.1.tgz","fileCount":18,"integrity":"sha512-YCXl9gY6AXZLuakT5mUAVSAXHL+x++/oOiosZyHfyDaFNfXugeRsNwSltRVx4BEPy00vTTfO8Zxcd6fCm9WreA==","signatures":[{"sig":"MEUCIEey0JDbitsLw5ro/Zd2DTgAlWhCaXfmudgvDkZTdDF8AiEA/P2nbn/XnlVi56dZB7ThWc0JNxT7dGcJOBYnKXx6KPA=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":1474216},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"33ec193bab44ad6787bb44a8a510cf00c1057664","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.2.3","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"_nodeVersion":"20.10.0","dependencies":{"tslib":"^2.5.0","daisyui":"^2.51.6","reactflow":"^11.8.3","classnames":"^2.3.2","react-icons":"^4.11.0","tailwindcss":"^3.3.2"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"readmeFilename":"README.md","devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","tailwindcss":"3.3.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.17.1_1701156474318_0.07859403208848548","host":"s3://npm-registry-packages"}},"1.18.0":{"name":"@runtimeverificationinc/web-components","version":"1.18.0","_id":"@runtimeverificationinc/web-components@1.18.0","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"3927513f18aa4983e06ce99ac15087a5ba197798","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.18.0.tgz","fileCount":18,"integrity":"sha512-eoeISDjbhlvq3kHQ/rtreE6Z/Iqx3QNNh52CqOjo4XGvYHPk9h6EchBTvhLG5MGXcGGQClFx4yMnyZ/6GR8PAQ==","signatures":[{"sig":"MEQCIG+LynxsuWHs07LZFqojBk0KwfLzEI4x2uUYzl75D7I1AiBcvsEkX/jT+0Lf4Z2ZuXmEoN3WlYTnpBpAQ4H5hcgebA==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":1474216},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"b85d1dcc5077b674f30066c8b58342d84a933c29","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.2.3","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"_nodeVersion":"20.10.0","dependencies":{"tslib":"^2.5.0","daisyui":"^2.51.6","reactflow":"^11.8.3","classnames":"^2.3.2","react-icons":"^4.11.0","tailwindcss":"^3.3.2"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","tailwindcss":"3.3.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.18.0_1701157488618_0.8318696103575849","host":"s3://npm-registry-packages"}},"1.18.1":{"name":"@runtimeverificationinc/web-components","version":"1.18.1","_id":"@runtimeverificationinc/web-components@1.18.1","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"8a86f9a3fa2bcaaf555f5c114a94f80c94d165a1","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.18.1.tgz","fileCount":18,"integrity":"sha512-6jaHhKDLndIBiH2r1wOiBzJCDkXkHbOl4rEnRGhi7dYj3M3W0j0IB4ZDpSnTc9X890Owb273krEt0OlQVN8eiw==","signatures":[{"sig":"MEUCIQDbLDZdqgGDlVPeV3JgfpsbksVV/vo8gmL/ipXutHWhTAIgORSBqCcqysq50WiAlqfHnF7yEQwPoy5e7ELHvm6DwC0=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":1524396},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"8ee4eb94c24ce682602fc4b1aa9425177eac8c2f","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.1.0","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"_nodeVersion":"20.8.1","dependencies":{"tslib":"^2.5.0","daisyui":"^2.51.6","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.11.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"readmeFilename":"README.md","devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.18.1_1701305371305_0.20808849185298195","host":"s3://npm-registry-packages"}},"1.18.2":{"name":"@runtimeverificationinc/web-components","version":"1.18.2","_id":"@runtimeverificationinc/web-components@1.18.2","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"c23efdeec2a3669472d6b8c3a20851029f739015","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.18.2.tgz","fileCount":18,"integrity":"sha512-mPIwavOZgEdRlOI71zzEEdYA6CWvV9OQabG8fc4RQvUvW3syup0PJvX25de5hl47Hsk8w2ejQASqZ1pZyMpzWQ==","signatures":[{"sig":"MEUCIQDYcBpDaBNUkJBH+fThkXirOpn5pPxMnfxhMe1qPg+2+gIgD9u+axsTUr1iWHbgni61c+gYwLG9octeZ9TDFp8WWDU=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":10421472},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"9b4eb78dd75962ca691801882f179c6b02bfde95","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.2.3","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"_nodeVersion":"20.10.0","dependencies":{"tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"readmeFilename":"README.md","devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.18.2_1701306460212_0.6326300096450188","host":"s3://npm-registry-packages"}},"1.18.3":{"name":"@runtimeverificationinc/web-components","version":"1.18.3","_id":"@runtimeverificationinc/web-components@1.18.3","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"78e4fe4131ed408373f057063796854fd11cb4bc","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.18.3.tgz","fileCount":18,"integrity":"sha512-Px2bmgwybK5m9COHKsTlyRzsrXgtC2ag6TY4Koj9S9eRSgjb04PwIb+12vrjGVF/drQdII076PuTn30lQDb6OA==","signatures":[{"sig":"MEUCIQDzvfEVQ2hF4cQNzq+uABFLVvT51kksV6ukvCn+qwfiJwIgahnuV1FKAw24u8sykfYQbuRBpoGk1Y/dToE2yMHpALo=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":829438},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"65ca816207ddf4d70bf58b1ea8c854a7518ef820","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.2.3","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"_nodeVersion":"20.10.0","dependencies":{"tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"readmeFilename":"README.md","devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.18.3_1701307632540_0.7571527433521932","host":"s3://npm-registry-packages"}},"1.18.4":{"name":"@runtimeverificationinc/web-components","version":"1.18.4","_id":"@runtimeverificationinc/web-components@1.18.4","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"4bd679104755323e2ba6669783c07b4a42fb966f","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.18.4.tgz","fileCount":25,"integrity":"sha512-d+xzq1+CISLbMh2Vo4JlqKHr1wNKlNhn12UJMs5kxIRpnEk4nyiODT2wORFuei6AjDNuNtCKx+TxN2Zjy8zR6A==","signatures":[{"sig":"MEYCIQD0LTTP0XtWNeNCy97XqkavMVYWjL03wGwnUm1r2LJjeAIhALo6ZLmPQkG7azDldXql91z7/HFuN0MEtd47kCllzjEG","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":10374442},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"82aa3377e4049dbabb12592f9382b3165291b9a7","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.2.3","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"_nodeVersion":"20.10.0","dependencies":{"tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"readmeFilename":"README.md","devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.18.4_1701308445308_0.6486015182638227","host":"s3://npm-registry-packages"}},"1.18.5":{"name":"@runtimeverificationinc/web-components","version":"1.18.5","_id":"@runtimeverificationinc/web-components@1.18.5","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"e2c843c26e2390e29325e150318cb3d3b573e2cb","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.18.5.tgz","fileCount":26,"integrity":"sha512-byCDkdxD6zUXy+39QMY98wA9zLpJnkIkmMgnZTPme0tJ/o6W2nUNNOXx9euaeF0owmXv6+s/3UKiFgemmfGL+w==","signatures":[{"sig":"MEQCIAFCxdIekEWEhQGrfGiCYS6pI6m6ZayhafGD7B1fsZUjAiBKvZkzDyCoClAWYvdqOQJm7caygsyrn3ED7Op7r80Neg==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":10375382},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"fa87110b814f14a70e2c1810e29d05cac18ba743","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.2.3","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"_nodeVersion":"20.10.0","dependencies":{"tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"readmeFilename":"README.md","devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.18.5_1701308745278_0.44431230479930184","host":"s3://npm-registry-packages"}},"1.18.6":{"name":"@runtimeverificationinc/web-components","version":"1.18.6","_id":"@runtimeverificationinc/web-components@1.18.6","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"1d3c9a0fbcbcf70df4208dcc49202c373dbc5cad","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.18.6.tgz","fileCount":26,"integrity":"sha512-ml+kiyw7JSOdHFRS7u7TgpdReiQ8yxGzeLVYVVCzobQDIEdzBKLco4Wr+hiHMMGNiQucNDYI4Z1C8WC8INfzfg==","signatures":[{"sig":"MEUCIQDY/lNluhdkDM7W2i6E6EPXGEpE82q0gTmBVRs0azkL9QIgfJ2e8y/MVO3x3NYx4QSOAVcEoSQMOOLByPdl+VVEdZI=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":10377904},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"a7f97090c371f4ce7c04f71d10eda2575bf98572","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.2.3","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"_nodeVersion":"20.10.0","dependencies":{"tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"readmeFilename":"README.md","devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.18.6_1701309274601_0.8011883562972741","host":"s3://npm-registry-packages"}},"1.18.7":{"name":"@runtimeverificationinc/web-components","version":"1.18.7","_id":"@runtimeverificationinc/web-components@1.18.7","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"d3f87f65dc2906a83ec9d6ad276b9706ff27f732","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.18.7.tgz","fileCount":26,"integrity":"sha512-2r4ffK208ECTMUcR3BVj0qQGUFk0l8QzW2gQpVbcREdD9vfCVSZI8AsWCG5RdG5luZWX8wH1g3Y8tfL9CPlBpg==","signatures":[{"sig":"MEQCIHqbBgEBFLQ8zPTZOqk+zCb4Wuu1xJAgYP6sMHe5JtgZAiBtGlUdzgeBBspnffyVVsWvL9ndtIhVGizu1aZUVBJ97g==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":10378453},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"b6c9bf7da722c9e25f0db2712bf4c81ffd9cb9a2","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.2.3","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"_nodeVersion":"20.10.0","dependencies":{"tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"readmeFilename":"README.md","devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.18.7_1701377571850_0.38825881735289625","host":"s3://npm-registry-packages"}},"1.18.8":{"name":"@runtimeverificationinc/web-components","version":"1.18.8","_id":"@runtimeverificationinc/web-components@1.18.8","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"32062cd45b4aa80e3bdf3098bbfb150f7109b9b7","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.18.8.tgz","fileCount":26,"integrity":"sha512-2NeKDxUL/S7epx3iSTfKG02RwCU2enl5QNea6eGnNMzcfz0N76oNqIFZH5GjV6AJl2tVb9mqx+vesMuYhhWpXw==","signatures":[{"sig":"MEUCIQCUtE3bBpVVT1BssVyMXV/kcBKNY0h3WcmcTEYYTDTXcAIgDeJWtIW6xMPtjNXrmR6vAQhHidDS55KriezVrTWfqWc=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":10410638},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"df144b30398204abc39a02e1be93143b39d4bbb4","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.2.3","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"resolutions":{"cli-truncate/string-width":"4.0.0"},"_nodeVersion":"20.10.0","dependencies":{"tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"readmeFilename":"README.md","devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.18.8_1701380686701_0.5591246018833687","host":"s3://npm-registry-packages"}},"1.18.9":{"name":"@runtimeverificationinc/web-components","version":"1.18.9","_id":"@runtimeverificationinc/web-components@1.18.9","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"487c53e905153162d13825d0ff13c16bd6e4919f","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.18.9.tgz","fileCount":26,"integrity":"sha512-6CdpIJEh1KJ/lk4dQEzq9KZ9w+Zm37kaFXHeSXuvI5LRjb5Q6iA3DiOz8yVvyylzGNzjzb6zHI0Lp/cD+wqtbg==","signatures":[{"sig":"MEYCIQDQ5F3E9n3kwHxbNRV3/aqpoPopk2vchJTE/ewuiT83tAIhAJcUElc5d3xB8uDmzMmiVRa0itbmdB1NUB5eCOQR7VOi","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":10417129},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"d973a7c9ea92d7f37b872e4b88fd23e68d1c0585","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.2.3","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"resolutions":{"cli-truncate/string-width":"4.0.0"},"_nodeVersion":"20.10.0","dependencies":{"tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"readmeFilename":"README.md","devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.18.9_1701381710411_0.3520116793515118","host":"s3://npm-registry-packages"}},"1.18.10":{"name":"@runtimeverificationinc/web-components","version":"1.18.10","_id":"@runtimeverificationinc/web-components@1.18.10","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"c8ada537bf31e63f3b36f3479539fee2942206a9","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.18.10.tgz","fileCount":26,"integrity":"sha512-rZVrw3CKPWPBJQ0sLJerARDcvY8bYI4c3jp1Px9dDaif1L5ywUJmacHhQiSP/Gv+i8mVfuSDnNMO6qVC69pCYw==","signatures":[{"sig":"MEUCIQCPEdQjGYfbUSEGxCEDzyZsD9UVm7U+hCqwlMFHEEiMYgIgI7VRuXgt2vpdhgs8D33TDXKpLwtF9/vsxY4hYY9WWG0=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":10417104},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"1ffb537e2e0510ef2f66ce8476ba4d39cd4da145","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.1.0","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"resolutions":{"cli-truncate/string-width":"4.0.0"},"_nodeVersion":"20.8.1","dependencies":{"tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"readmeFilename":"README.md","devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.18.10_1701382064415_0.5991670017429658","host":"s3://npm-registry-packages"}},"1.18.11":{"name":"@runtimeverificationinc/web-components","version":"1.18.11","_id":"@runtimeverificationinc/web-components@1.18.11","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"ecc3166f21c16e3dc6e0203c08924d04a5374115","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.18.11.tgz","fileCount":26,"integrity":"sha512-0hgs2aJ7T0yXUqjcU35szmi2Cbf0rRHT1v8KJdTL/oQukoCq9ggj4XutreRGvwCJMmYiprUWzapvacAydTbhCw==","signatures":[{"sig":"MEUCIQDHMHQTuniNyDtWHxFeGKg7dCiOS+mGVPK2pTqC/yzwtAIgfVJQqu1zGsvSUTwYAovJgTb4NICc/k1cheTMjnprDjc=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":10417089},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"8c07f66fc1d5d804c2ff1301d0bb81c396cda49b","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.2.3","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"resolutions":{"cli-truncate/string-width":"4.0.0"},"_nodeVersion":"20.10.0","dependencies":{"tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"readmeFilename":"README.md","devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.18.11_1701384348874_0.32818403507727356","host":"s3://npm-registry-packages"}},"1.18.12":{"name":"@runtimeverificationinc/web-components","version":"1.18.12","_id":"@runtimeverificationinc/web-components@1.18.12","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"a5ee28d0b51f0414bc92b2dbe94ca593d524c18c","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.18.12.tgz","fileCount":26,"integrity":"sha512-mqIhEvFPP4Dp5e7v/Yg+cc7vZZTKp0AL85/iK01D3XBGgNz4kxaEgYy5q6fbtR6Bg6CVO+9hznkxhAZun+JI8Q==","signatures":[{"sig":"MEUCIQD8WS7He/FScxVkMGC/kNlAP9zKxyIP2SlG5dLUz9EDGgIgZz9TY4koDLNkaqFvBv2TvSNK1+cKZMU+kT97cNrNFZI=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":10417081},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"cf170a9f4473a777878bacca6352f3ed623cc0b1","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.2.3","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"resolutions":{"cli-truncate/string-width":"4.0.0"},"_nodeVersion":"20.10.0","dependencies":{"tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"readmeFilename":"README.md","devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.18.12_1701385567208_0.4512242492757801","host":"s3://npm-registry-packages"}},"1.19.0":{"name":"@runtimeverificationinc/web-components","version":"1.19.0","_id":"@runtimeverificationinc/web-components@1.19.0","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"3debe4f1054f3eef1065b4aeeb91027dd339b99f","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.19.0.tgz","fileCount":26,"integrity":"sha512-/A/NdKVUbTkNy1YPuPcjmmw14V6ZhcbK+S+c5aU5n4p6hPVjZVgjsUrVpx36VmBjsytAYZh2Qd21TrPBE3e/Iw==","signatures":[{"sig":"MEQCIFjruDTbQwE1OkdxzkxzW9pvpagzipWmb9t5retGTjzGAiA1e4AxdQMniyqOc+cs32e3g9vVIwUcI7nLTolbKQZQJQ==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":10417080},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"3525e825deb4b0796dd89a6ad5eb2e964cc4c392","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.2.3","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"resolutions":{"cli-truncate/string-width":"4.0.0"},"_nodeVersion":"20.10.0","dependencies":{"tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.19.0_1701387653831_0.8038488635713725","host":"s3://npm-registry-packages"}},"1.19.1":{"name":"@runtimeverificationinc/web-components","version":"1.19.1","_id":"@runtimeverificationinc/web-components@1.19.1","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"4cbcf9191103e3fe96e04f4525e7e33219574991","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.19.1.tgz","fileCount":26,"integrity":"sha512-cTObHH5NEMBio6281jd86SDXhHESLwNpQgm9W5u7Xjqo0qoLpV3fQqad5TYnPciBE7f6eOBjcv+5ei1/uP+O/Q==","signatures":[{"sig":"MEUCIQDeQUBUFCC1oAZqLVEwD+8R/9MZqpzzYK1LfHVoTaB4rAIgYpi0fX2IkDKlV85Pld71C6DkPeQ5oUe+KULSqgYbHUQ=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":11179968},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"0dd853d9da56c9f2d0bfd7199f6fad61436f776d","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.2.3","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"resolutions":{"cli-truncate/string-width":"4.0.0"},"_nodeVersion":"20.10.0","dependencies":{"tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"readmeFilename":"README.md","devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.19.1_1701484947515_0.6739813808935808","host":"s3://npm-registry-packages"}},"1.20.0":{"name":"@runtimeverificationinc/web-components","version":"1.20.0","_id":"@runtimeverificationinc/web-components@1.20.0","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"8475919c337a16236e5d8c6727b6f2021007517f","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.20.0.tgz","fileCount":26,"integrity":"sha512-O3NITtv3P4wlO0R+anWjSzJfYvhqSPAPNe6K6Q3wGaRmDadZ9B+Wpnxg301YzYVqc0qFBydTWQfhkXvqdzH18A==","signatures":[{"sig":"MEYCIQC/4FXmvAtcNbWSq+Zh97hDkIVcSC72B2WXDaaGZXiKawIhAJ8sFe3HDSy1viMLfVEhUuE08SUhC5NcGiVfQGZEtQNA","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":11179968},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"9afc0c7ff70b17e227ea3f118c72bda60340c583","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.2.3","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"resolutions":{"cli-truncate/string-width":"4.0.0"},"_nodeVersion":"20.10.0","dependencies":{"tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.20.0_1701741348802_0.27080945141633217","host":"s3://npm-registry-packages"}},"1.21.0":{"name":"@runtimeverificationinc/web-components","version":"1.21.0","_id":"@runtimeverificationinc/web-components@1.21.0","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"1ffecbae607a7e253000ea1342ae41423343f273","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.21.0.tgz","fileCount":26,"integrity":"sha512-Ii/wgrRdoxZ0J9d/NECv+G1Nt8EaTh1oFAJwoK6emz091SRDq6PgT4GiNqnXqnfKxHF+wFHU3rq823Y+HuAOaQ==","signatures":[{"sig":"MEQCIHb9+qWVqyLlelLKTPnh39J9LJPhwmr+zH2QndXPLf5oAiAr2Z50YAWuzVV6FcWc79yYaO0WUgB7vUOJPTnzYAixmg==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":11180255},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"aeec1a140dacb13002af5b526c7a5a160b1c9319","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.2.3","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"resolutions":{"cli-truncate/string-width":"4.0.0"},"_nodeVersion":"20.10.0","dependencies":{"tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.21.0_1701741417891_0.7738151572395477","host":"s3://npm-registry-packages"}},"1.22.0":{"name":"@runtimeverificationinc/web-components","version":"1.22.0","_id":"@runtimeverificationinc/web-components@1.22.0","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"7c1229c944cd64e55ddaa8afe7708e9b6fd0f4ec","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.22.0.tgz","fileCount":26,"integrity":"sha512-GmIvHCJm1E3C6GVFlKeifRY7zLV+S+TWzj9SFuKvY0Ci7AsoPWpsl1DFZCVnhagBQlZ22f9Iuf3Mkqz7UjG/7A==","signatures":[{"sig":"MEQCIE3DOcFMYVIjaTbjfgHEBSuyWZZ0M/qkim7avohbJoOcAiAtkV8t1628zMsXOsFQJdnw8+2aAkZAu0mNtp071jc0Dg==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":11180319},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"7675d0b72d98037bac5285786a5d29437dded00e","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.2.3","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"resolutions":{"cli-truncate/string-width":"4.0.0"},"_nodeVersion":"20.10.0","dependencies":{"tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.22.0_1701742526263_0.9658675578824645","host":"s3://npm-registry-packages"}},"1.22.1":{"name":"@runtimeverificationinc/web-components","version":"1.22.1","_id":"@runtimeverificationinc/web-components@1.22.1","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"6a7529372a864c281d248900a1b8a618ff2933c6","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.22.1.tgz","fileCount":26,"integrity":"sha512-+lkB8hf9WF8SvHwV/f/395NEX2Fx54kwI+42n2zJA6TcSIqKNZp8PHUfdvPQdS8SnWx0qpUSYcyjhKcblouYcg==","signatures":[{"sig":"MEYCIQDM+aeiUEpGclFAgwV3G9aOzw99+JHWO5AVnOWgMJIyGwIhAN9PJCv9Xhw5e3GHHeQ/7Q1+eGaTPvfZLLtqODyVxykF","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":11180409},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"9a04dbd7d8d78e00c577ec416e565f56c2651553","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.2.3","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"resolutions":{"cli-truncate/string-width":"4.0.0"},"_nodeVersion":"20.10.0","dependencies":{"dagre":"^0.8.5","tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","console-browserify":"^1.2.0","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"readmeFilename":"README.md","devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/dagre":"^0.7.52","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.22.1_1702413015282_0.9103068732268502","host":"s3://npm-registry-packages"}},"1.22.2":{"name":"@runtimeverificationinc/web-components","version":"1.22.2","_id":"@runtimeverificationinc/web-components@1.22.2","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"f94fa9098f44c35ee06dd55001f050cf15f03eab","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.22.2.tgz","fileCount":26,"integrity":"sha512-PXo2cQrP7CLyMqi7RusP8asni2waUu+s2VLVlS+QzTGT7JHVtcQjPhKEa6qkCmvNEkE00Pf5SipiTg/uDJfDxQ==","signatures":[{"sig":"MEUCIQCLGFsum1BeejPT3yZiHsjIZt9k8HlSkC9D5EWTyGxICgIgICxn5VJxn4EqtTAwNgsFGj1XdFbn8UbPha4u6FexpBE=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":11180489},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"acbac661a96941caa3351880163fb83f827d7212","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.2.3","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"resolutions":{"cli-truncate/string-width":"4.0.0"},"_nodeVersion":"20.10.0","dependencies":{"dagre":"^0.8.5","tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","console-browserify":"^1.2.0","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"readmeFilename":"README.md","devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/dagre":"^0.7.52","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.22.2_1702418902377_0.721105500033109","host":"s3://npm-registry-packages"}},"1.22.3":{"name":"@runtimeverificationinc/web-components","version":"1.22.3","_id":"@runtimeverificationinc/web-components@1.22.3","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"4d8da6ff056c2189c24c8e4bd7561a0a7d1a9c9a","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.22.3.tgz","fileCount":26,"integrity":"sha512-+ZlBxum1xeHvJawXC/h4Tjw8YISrrPQz2HaY7qsCVC3NyMdeGCGjAgh07srZH5o45i3bG124K8SjVO8rXo0lYA==","signatures":[{"sig":"MEUCIETXS79v+B+1M5Gcxu+Vfrkywxs9Ums++VxmSQSINGamAiEAzSS/vYYWBJlXzKAGi2guxTlF93XLpi0K9q5zf7ThMhE=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":11179931},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"172e393ecd83294e8cb405f08e4cabf7f80df2a9","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.2.3","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"resolutions":{"jackspeak":"2.1.1","cli-truncate/string-width":"4.0.0"},"_nodeVersion":"20.10.0","dependencies":{"dagre":"^0.8.5","tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","console-browserify":"^1.2.0","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"readmeFilename":"README.md","devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/dagre":"^0.7.52","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.22.3_1702596766558_0.011978945795366736","host":"s3://npm-registry-packages"}},"1.22.4":{"name":"@runtimeverificationinc/web-components","version":"1.22.4","_id":"@runtimeverificationinc/web-components@1.22.4","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"5e4c9c99f0ecee6de325d79e2810bac3adfe91c3","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.22.4.tgz","fileCount":26,"integrity":"sha512-AsUrvvWphdjX2sImJCGsGR07Qe3csUq6AO20sI2P87Qs3CsqMqsQqoinfKZnyXGqs1+77xVT0NXfsYT6RptkTQ==","signatures":[{"sig":"MEYCIQDFslB1TbaoumW/0oYFflGmeqagxRPT78kypoH1YdFamwIhAO0jQgydTDSpecKEIAVq6vlp9q3xljvOYLFzRG23XLqV","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":11179935},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"5595a7dbef0541c3256e4429ae81bdc6c7f44ac2","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.2.3","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"resolutions":{"jackspeak":"2.1.1","cli-truncate/string-width":"4.0.0"},"_nodeVersion":"20.10.0","dependencies":{"dagre":"^0.8.5","tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","console-browserify":"^1.2.0","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"readmeFilename":"README.md","devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/dagre":"^0.7.52","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.22.4_1702599947631_0.4543674079121107","host":"s3://npm-registry-packages"}},"1.23.0":{"name":"@runtimeverificationinc/web-components","version":"1.23.0","_id":"@runtimeverificationinc/web-components@1.23.0","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"5a46ffd01ca6f4724e65e827ec8cfb33bac6a44c","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.23.0.tgz","fileCount":26,"integrity":"sha512-y+mA70PxeR5km9gHihN7XNHV4fmRicsBeXnoCQ2oV/XtVZISRvo44fmjBYajsyI5H/VvpcSLPnaxXfBrAvF9xA==","signatures":[{"sig":"MEUCIQD230Q4Or6IJ2XBxRXAaEwYcguNqqSRoZfDq2vmTZp26AIgLBWjT+gEtWsQr5bRs+46HSXT3cvlttetg4q3sjdvBgo=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":11182436},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"ae39f96e94486889e75e71ee256d7b8450c9f50e","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.2.4","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"resolutions":{"jackspeak":"2.1.1","cli-truncate/string-width":"4.0.0"},"_nodeVersion":"20.11.0","dependencies":{"tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.23.0_1706495923320_0.16901590436967373","host":"s3://npm-registry-packages"}},"1.24.0":{"name":"@runtimeverificationinc/web-components","version":"1.24.0","_id":"@runtimeverificationinc/web-components@1.24.0","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"a2faefbe3db8956f8ac5b118ad77132fc9f8bdb5","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.24.0.tgz","fileCount":26,"integrity":"sha512-wmHkOMLchEhD3kymGREIc22b3aAi82JXa+YnF/huhNFXXawqLqHMXsWD6AEXWq3TRCC3oAci35Jm+CyQ7S3UIA==","signatures":[{"sig":"MEUCIQCD316wzOkzLsk8/pbWXstbnvymi0Gg+qKo8PWkVDH/lAIgY7OyJ01COXggSGGXNjCxTYMVYJb4i4lKL819rlI6nUU=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":11182511},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"56bba00a4b9eb22d78ad119aae69d2ac16b81561","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.2.4","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"resolutions":{"jackspeak":"2.1.1","cli-truncate/string-width":"4.0.0"},"_nodeVersion":"20.11.0","dependencies":{"tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.24.0_1706550951754_0.7208808244974014","host":"s3://npm-registry-packages"}},"1.24.1":{"name":"@runtimeverificationinc/web-components","version":"1.24.1","_id":"@runtimeverificationinc/web-components@1.24.1","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"2f7f0371a1080679c5553a416ca5615e2dd905cf","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.24.1.tgz","fileCount":26,"integrity":"sha512-XwsdOKAQ//jlIG+XGFC9rfATFOnxvfbThu3Pcgp7F50hOry7HJd9CJ7/YT9Ktt1LCR5Eer81DFgmMgRT1BESNQ==","signatures":[{"sig":"MEYCIQC+LaAoVkratu+r1m88zUp1bQbo1UzKRefskZeSXFqCxQIhAMhXp0pmByYFCs2S34WpXELFib3O0eDwFdrEMZY/qnvX","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":11195192},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"7351f2d0e3afad2e3da12876d2613be2a3a97fbd","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.5.0","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"resolutions":{"jackspeak":"2.1.1","cli-truncate/string-width":"4.0.0"},"_nodeVersion":"20.12.1","dependencies":{"tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"readmeFilename":"README.md","devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.24.1_1712689453606_0.09360033486268349","host":"s3://npm-registry-packages"}},"1.25.0":{"name":"@runtimeverificationinc/web-components","version":"1.25.0","_id":"@runtimeverificationinc/web-components@1.25.0","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"257006c3de4a084e27d6c39f15cbb67cbd3d7ecc","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.25.0.tgz","fileCount":26,"integrity":"sha512-imRp28F9Rthftdz/DNb+a8eyUYb1AuW7p1oaRbkKPsxBawzOgMbU5m/2PAAIxs6pnWKF8Oh730BRfVfQklxt/Q==","signatures":[{"sig":"MEYCIQCXjNIlnA2JNS7mt74HNqb/tl9lj0mvhll4QOuXeaccawIhAMWd+/4lBlo1h89KXusa5Y9W4v/7B+Y75ab3aXc1meMs","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":11195192},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"556a2df962c7270d3fad9dfae4432f06007a8ef0","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.5.0","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"resolutions":{"jackspeak":"2.1.1","cli-truncate/string-width":"4.0.0"},"_nodeVersion":"20.12.1","dependencies":{"tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.25.0_1712689740742_0.25445427548981603","host":"s3://npm-registry-packages"}},"1.25.1":{"name":"@runtimeverificationinc/web-components","version":"1.25.1","_id":"@runtimeverificationinc/web-components@1.25.1","dist":{"shasum":"350027918da35ed2b46ddde7069713c83bd6305c","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.25.1.tgz","fileCount":26,"integrity":"sha512-BOsiKCX+ImVFe0qB1zqO86ijae08t278S8LhjcrWO+m5QmGg1MC1KzTf19BYZJmoekrpnBUR57LO4hDsPlL8bw==","signatures":[{"sig":"MEUCIQCnQXGud4xVyLcWTFxHtQ6NWUI99Jeqfjq17cjV92Ju/wIgWrK3g2xXKNg6vrgoulOva9LEoFIs3U/iTEI+1ewXBvc=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":11197000},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"7b627971345ed9ea33c41de8f7ceca5d3d037257","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.7.0","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"resolutions":{"jackspeak":"2.1.1","cli-truncate/string-width":"4.0.0"},"_nodeVersion":"20.15.0","dependencies":{"tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"readmeFilename":"README.md","devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.25.1_1719433542744_0.40175842516219396","host":"s3://npm-registry-packages"}},"1.26.0":{"name":"@runtimeverificationinc/web-components","version":"1.26.0","_id":"@runtimeverificationinc/web-components@1.26.0","dist":{"shasum":"acbf7820f679e20645ee29901e6e58a41b5887a8","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.26.0.tgz","fileCount":26,"integrity":"sha512-LL3FJvWsdvNkVs3MbVMqDMdF+l+OMsZgteyhHH3/d5GxnYld4d7+YKXHvi80Y0x5KB6d7EHkHFXyu3mC7gj1UQ==","signatures":[{"sig":"MEUCIA1eFtFtUkPdHMZCRGvJPTK2uoxOmUdU5JYuTaEs3rnbAiEAy2LGwrIunOTNUp910qvzi7bB/5V/CVv5cYIqd3v558o=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":11197000},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"6655eac7a9f35c20a329833f2ef7762d79a44161","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.7.0","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"resolutions":{"jackspeak":"2.1.1","cli-truncate/string-width":"4.0.0"},"_nodeVersion":"20.15.0","dependencies":{"tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.26.0_1719433707409_0.5470815757492384","host":"s3://npm-registry-packages"}},"1.26.1":{"name":"@runtimeverificationinc/web-components","version":"1.26.1","_id":"@runtimeverificationinc/web-components@1.26.1","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"9e0a6e0be57008d398c3efbc8041bf45c5d46fad","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.26.1.tgz","fileCount":26,"integrity":"sha512-hs1uBLAh1g9qIBAjyj4XvF/WfvuIhGa/EBJ5UqVCA3zbL6ChMRuWvGiXemecY4HaNmSDKdZ+u1SMySM9LY0gzw==","signatures":[{"sig":"MEUCIHuqy8tYwkdEFAV/GEyIbHAkcl9/b45uT2ta4OgxoIW1AiEAqoFd44UQkuMToe1shIsNmZC9I59jgXZ/KnriXkRPWvQ=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":11197581},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"befde563b18ff33938c70de90a4e7cf144b623f1","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.8.1","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"resolutions":{"jackspeak":"2.1.1","cli-truncate/string-width":"4.0.0"},"_nodeVersion":"20.16.0","dependencies":{"tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"readmeFilename":"README.md","devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.26.1_1722385856386_0.08100657441828285","host":"s3://npm-registry-packages"}},"1.26.2":{"name":"@runtimeverificationinc/web-components","version":"1.26.2","_id":"@runtimeverificationinc/web-components@1.26.2","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"d88977dbe29e055537b74670a6d8cc53ac298ca3","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.26.2.tgz","fileCount":26,"integrity":"sha512-CO8GdEQp2UKPBDcfbfNQCQyWFgNYtCUzqWANdAS86YkbJ7NorzfS7j6M3LcBR+swUuFmoMOgCowumNXcA9pDLw==","signatures":[{"sig":"MEQCIFW1Q9UbdWima4kkuFU703HO7LrCDzoRpTb5hH/yoHXUAiAitEZhOGwgPcefcoOEfpGmF9njrNzqulio6fBqcNUNIw==","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":11197599},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"bfd5c0ae9bd50a1cd33e3f8d1abae32a7ec9b03a","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.8.2","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"resolutions":{"jackspeak":"2.1.1","cli-truncate/string-width":"4.0.0"},"_nodeVersion":"20.17.0","dependencies":{"tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"readmeFilename":"README.md","devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.26.2_1725284494041_0.4184184853436508","host":"s3://npm-registry-packages"}},"1.27.0":{"name":"@runtimeverificationinc/web-components","version":"1.27.0","_id":"@runtimeverificationinc/web-components@1.27.0","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"e6d22146fbd6a700802bc5dbdccc754fdde29350","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.27.0.tgz","fileCount":26,"integrity":"sha512-EqHMNHhb9KiLlYpewJ3xmfP9gNkl3t7SluPy65sgF/B/lJL9d/HJMvdgw/PXFT8AgMMvX+WJ5hGBJTZn5Uf0mQ==","signatures":[{"sig":"MEUCIQCSuvFE9JTPFq9aK0pSD0k/XuLhLV3c2IMThDo1jMqgzQIgRA7TybqvAiebGy318e6rFNPfmaAlcaQshKPnmfxd1pU=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":11197599},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"4b6cf0d18fab5de9865d8e9ce529be1ab83fc2b3","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.8.2","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"resolutions":{"jackspeak":"2.1.1","cli-truncate/string-width":"4.0.0"},"_nodeVersion":"20.17.0","dependencies":{"tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.27.0_1725284633102_0.4156087588602957","host":"s3://npm-registry-packages"}},"1.27.1":{"name":"@runtimeverificationinc/web-components","version":"1.27.1","_id":"@runtimeverificationinc/web-components@1.27.1","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"a6c96be84fe11e7e8d58eecd0328c0f3746d5b4d","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.27.1.tgz","fileCount":26,"integrity":"sha512-SoYY9FU32lj4Uknx7UlOvM+zlh5C6HR6/PNTK+k6zgrnz8x0v1/LYE2SnjAuCcBlcRRrdZMhlhwyvkxvOSjEeA==","signatures":[{"sig":"MEUCIHElTOPkpMygrtm0nT3wq+lg1BpVEAfCdxDjc21xDbhKAiEAqWHOGkXTyEYsLh5lUXtNSZcgDVGF5Whfm69NIAo2Oik=","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":11192700},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"51097ba484ccf126533f30df0636531944d2dcd0","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.8.2","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"resolutions":{"jackspeak":"2.1.1","cli-truncate/string-width":"4.0.0"},"_nodeVersion":"20.17.0","dependencies":{"tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"readmeFilename":"README.md","devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.27.1_1725540613229_0.9754017909747221","host":"s3://npm-registry-packages"}},"1.28.0":{"name":"@runtimeverificationinc/web-components","version":"1.28.0","_id":"@runtimeverificationinc/web-components@1.28.0","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"dd5a6fd9eed7e4bcab1993a1ccfcad5275bb7fbc","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.28.0.tgz","fileCount":26,"integrity":"sha512-rAJK4o+l4BUUggF8G2kaV+uuIaFJB/tdgPsw0Mi8Gi9ax1dgGd9sRUqPceYPKdkTLz9Q6WyV1ietrkbxG561Ng==","signatures":[{"sig":"MEYCIQCO/GZawJ03xvkBzI6YLVMtRzEXtRQmdJpvESOlq/HxLgIhAM67HmgzrrNS12Q8+XrFbZtqi3ovdsVbCP+VwlNuSSyv","keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA"}],"unpackedSize":11192700},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"f730bf5688a2776eb64ea4c90b8908d2516d8c4b","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.2.4","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"resolutions":{"jackspeak":"2.1.1","cli-truncate/string-width":"4.0.0"},"_nodeVersion":"20.11.1","dependencies":{"tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.28.0_1725542705008_0.17161985922179213","host":"s3://npm-registry-packages"}},"1.28.1":{"name":"@runtimeverificationinc/web-components","version":"1.28.1","_id":"@runtimeverificationinc/web-components@1.28.1","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"ee1d5ed54fa5dffc7f752a20e6affc51dcb0c274","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.28.1.tgz","fileCount":26,"integrity":"sha512-aeO6Jfvtnjz+hTcGGRgcFLXc//fOkoeAhQSqMGJnsGxWCG2/RwzyFXOhm00ddldkRPonHIbS/CFI5wiNyWo6cg==","signatures":[{"sig":"MEUCIFRytzv/vPE7Nf8ZSQlfOprGRIan233CoWDS+31qS+jbAiEA+am+DD7wuQWtq3wYGhPblSRTjmfxxhRe1slrlXLiMHg=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":11192718},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"7ea26a729394ab86bd072919db38531ad6844f6f","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.8.2","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"resolutions":{"jackspeak":"2.1.1","cli-truncate/string-width":"4.0.0"},"_nodeVersion":"20.18.2","dependencies":{"tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"readmeFilename":"README.md","devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.28.1_1752720586416_0.1348426264378637","host":"s3://npm-registry-packages-npm-production"}},"1.29.0":{"name":"@runtimeverificationinc/web-components","version":"1.29.0","_id":"@runtimeverificationinc/web-components@1.29.0","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"0d9534a057890a77e2e8fc16fb0d3d0d7af1a34f","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.29.0.tgz","fileCount":26,"integrity":"sha512-briECg1r78/VamJr0o+p2eA0OfEYrE22De4cecYr4ganYqjqoJP61dRSdYk2kT6OMFIZm+NwMsBBK3i9OP8WBQ==","signatures":[{"sig":"MEUCIEDEjMPH0YcUo/RBpjg63xxZ0QcV+VFzdID0MokkKOFlAiEAjSA3v3d+cRdd7OE0lW445tVSU8UlLjDhOmh33PwP2Es=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":11192718},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"fe4378ccb24d7fd73bcc8fd862a6d574ffde977c","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.8.2","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"resolutions":{"jackspeak":"2.1.1","cli-truncate/string-width":"4.0.0"},"_nodeVersion":"20.19.2","dependencies":{"tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"devDependencies":{"next":"^13.5.5","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^7.0.10","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@storybook/react":"^7.0.10","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","rollup-plugin-dts":"^5.3.0","eslint-config-next":"13.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^7.0.10","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^13.4.1","@storybook/addon-mdx-gfm":"^7.0.10","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^7.0.10","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.1.0","@rollup/plugin-node-resolve":"^15.0.2","@storybook/addon-essentials":"^7.0.10","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.1.3","@storybook/addon-interactions":"^7.0.10","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^13.5.5","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.29.0_1752720990364_0.3436287138811218","host":"s3://npm-registry-packages-npm-production"}},"1.30.0":{"name":"@runtimeverificationinc/web-components","version":"1.30.0","_id":"@runtimeverificationinc/web-components@1.30.0","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"77d0797bb3400a9b1f573ed77f5766b2ace8e7a8","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.30.0.tgz","fileCount":26,"integrity":"sha512-CSf10dx3RNYsu6roBAcslcJmN6VcMFmOWMDb8XB8WXv0M6M+Gx+j6iE4rd2o6YbZwBtEG/n8EQEf3qfaU6KH1Q==","signatures":[{"sig":"MEUCIHiEOrvuVcLuJisg53CdlvlLXDo3F/BmX6HwkHkBVAUiAiEA0q3Cjt5j3soF/8eGWoBBSIsiblgnAvS1hbzqzbBuNEg=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":12676944},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"f8c908018674cb044f090fe3412deb0a6386e464","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.9.2","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"resolutions":{"jackspeak":"2.1.1","cli-truncate/string-width":"4.0.0"},"_nodeVersion":"22.15.1","dependencies":{"tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"packageManager":"yarn@1.22.22+sha512.a6b2f7906b721bba3d67d4aff083df04dad64c399707841b7acf00f6b133b7ac24255f2652fa22ae3534329dc6180534e98d17432037ff6fd140556e2bb3137e","devDependencies":{"next":"^14.2.26","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^9.0.17","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@types/lodash":"^4.17.20","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","@storybook/nextjs":"^9.0.17","rollup-plugin-dts":"^5.3.0","eslint-config-next":"^15.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","@storybook/addon-docs":"^9.0.17","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^9.0.17","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","eslint-plugin-storybook":"9.0.17","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^14.2.26","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^9.0.17","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.2.2","@rollup/plugin-node-resolve":"^15.0.2","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.3.2","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^14.2.26","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.30.0_1753068175749_0.268113298250517","host":"s3://npm-registry-packages-npm-production"}},"1.30.2":{"name":"@runtimeverificationinc/web-components","version":"1.30.2","_id":"@runtimeverificationinc/web-components@1.30.2","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"3c70bbe03067bb0fe9a88d21397b789adf347255","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.30.2.tgz","fileCount":26,"integrity":"sha512-iP1FcVFfUz03gNx2FdTe6ScmhfP4wL15Aee78FMhiG3Pyi/W/Nm5UVeP4wYWzwzmyDaRL00RAvfbctMLZCcALg==","signatures":[{"sig":"MEYCIQCV+fWrm7HpXpGqxIqSd6rSds/mFuAzTn4Uyki+XHxJfgIhAPjlIY6qBezQQcA5hERnUEyhbyzNqFm2R9JjKYzoks0E","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":11000640},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"ecbf4940cd2dde930558f7ec1bddf5e442b2b5a3","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.9.2","description":"## Overview This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS","directories":{},"resolutions":{"jackspeak":"2.1.1","cli-truncate/string-width":"4.0.0"},"_nodeVersion":"22.15.0","dependencies":{"tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"packageManager":"yarn@1.22.22+sha512.a6b2f7906b721bba3d67d4aff083df04dad64c399707841b7acf00f6b133b7ac24255f2652fa22ae3534329dc6180534e98d17432037ff6fd140556e2bb3137e","devDependencies":{"next":"^14.2.26","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^9.0.17","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@types/lodash":"^4.17.20","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","@storybook/nextjs":"^9.0.17","rollup-plugin-dts":"^5.3.0","eslint-config-next":"^15.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","@storybook/addon-docs":"^9.0.17","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^9.0.17","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","eslint-plugin-storybook":"9.0.17","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^14.2.26","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^9.0.17","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.2.2","@rollup/plugin-node-resolve":"^15.0.2","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.3.2","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^14.2.26","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.30.2_1753073713303_0.8541468102931242","host":"s3://npm-registry-packages-npm-production"}},"1.30.4":{"name":"@runtimeverificationinc/web-components","version":"1.30.4","_id":"@runtimeverificationinc/web-components@1.30.4","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"dist":{"shasum":"652ba14d72f4bd4e0f2944f696473511803517ee","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.30.4.tgz","fileCount":26,"integrity":"sha512-6mB2nAoS59ZFjLRFdFpxr0j/uGRHzV37GBhWXjzVmQPwzyx8IK2kLfPF1BV3QMHh8gEP/8eDc70JTI0Drmly8A==","signatures":[{"sig":"MEUCIQCZk0Yo13LxjZ5OJBOnRBG+/aBoQ1bymuCf0FUPb/KK+AIgQQQLe3UoXf/jZ6mD9+21LTX7YPJPnxvXqos2gdkNo3k=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":10996636},"main":"lib/index.js","types":"lib/index.d.ts","module":"lib/index.esm.js","gitHead":"45cf799a29ddd1a8f33cbde0b45cfc08f6418a64","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"_npmVersion":"10.9.7","description":"This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS`.","directories":{},"resolutions":{"jackspeak":"2.1.1","cli-truncate/string-width":"4.0.0"},"_nodeVersion":"22.22.2","dependencies":{"tslib":"^2.5.0","daisyui":"^4.4.14","reactflow":"^11.8.3","classnames":"^2.3.2","rehype-raw":"^7.0.0","remark-gfm":"^4.0.0","react-icons":"^4.12.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","rehype-katex":"^7.0.0","remark-breaks":"^4.0.0","react-markdown":"^9.0.1","remark-footnotes":"^4.0.1","react-lite-youtube-embed":"^2.4.0","react-syntax-highlighter":"^15.5.0"},"publishConfig":{"registry":"https://registry.npmjs.org"},"_hasShrinkwrap":false,"packageManager":"yarn@1.22.22+sha512.a6b2f7906b721bba3d67d4aff083df04dad64c399707841b7acf00f6b133b7ac24255f2652fa22ae3534329dc6180534e98d17432037ff6fd140556e2bb3137e","devDependencies":{"next":"^14.2.26","react":"^18.2.0","eslint":"8.40.0","rollup":"^3.21.6","postcss":"^8.4.23","prettier":"^3.0.3","react-dom":"^18.2.0","storybook":"^9.0.17","typescript":"5.0.4","@types/node":"20.1.2","@types/react":"18.2.6","autoprefixer":"^10.4.14","@types/lodash":"^4.17.20","@types/react-dom":"18.2.4","@babel/preset-env":"^7.21.5","@storybook/nextjs":"^9.0.17","rollup-plugin-dts":"^5.3.0","eslint-config-next":"^15.4.1","@babel/preset-react":"^7.18.6","@rollup/plugin-json":"^6.0.1","@rollup/plugin-image":"^3.0.2","rollup-plugin-terser":"^7.0.2","@storybook/addon-docs":"^9.0.17","rollup-plugin-postcss":"^4.0.2","@storybook/addon-links":"^9.0.17","eslint-config-prettier":"^9.0.0","eslint-plugin-prettier":"^5.0.0","@rollup/plugin-commonjs":"^24.1.0","eslint-plugin-storybook":"9.0.17","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^14.2.26","@storybook/addon-styling":"^1.0.6","@rollup/plugin-typescript":"^11.1.0","@storybook/react-webpack5":"^9.0.17","rollup-plugin-tailwindcss":"^1.0.0","@rollup/plugin-multi-entry":"^6.0.0","@storybook/testing-library":"^0.2.2","@rollup/plugin-node-resolve":"^15.0.2","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","storybook-addon-sass-postcss":"^0.3.2","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-generate-package-json":"^3.2.0"},"peerDependencies":{"next":"^14.2.26","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"_npmOperationalInternal":{"tmp":"tmp/web-components_1.30.4_1776135258787_0.686711801937659","host":"s3://npm-registry-packages-npm-production"}},"1.30.5":{"name":"@runtimeverificationinc/web-components","version":"1.30.5","description":"This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS`.","main":"lib/index.js","module":"lib/index.esm.js","publishConfig":{"registry":"https://registry.npmjs.org"},"types":"lib/index.d.ts","scripts":{"dev":"next dev","build":"rollup -c","storybook":"storybook dev -p 6006","build-storybook":"storybook build"},"resolutions":{"cli-truncate/string-width":"4.0.0","jackspeak":"2.1.1"},"dependencies":{"classnames":"^2.3.2","daisyui":"^4.4.14","react-icons":"^4.12.0","react-lite-youtube-embed":"^2.4.0","react-markdown":"^9.0.1","react-syntax-highlighter":"^15.5.0","reactflow":"^11.8.3","rehype-katex":"^7.0.0","rehype-raw":"^7.0.0","remark-breaks":"^4.0.0","remark-footnotes":"^4.0.1","remark-gfm":"^4.0.0","remark-math":"^6.0.0","tailwindcss":"^3.3.2","tslib":"^2.5.0"},"peerDependencies":{"next":"^14.2.26","react":"^18.2.0","react-dom":"^18.2.0","reactflow":"^11.8.3"},"devDependencies":{"@babel/preset-env":"^7.21.5","@babel/preset-react":"^7.18.6","@babel/preset-typescript":"^7.21.5","@next/eslint-plugin-next":"^14.2.26","@rollup/plugin-commonjs":"^24.1.0","@rollup/plugin-image":"^3.0.2","@rollup/plugin-json":"^6.0.1","@rollup/plugin-multi-entry":"^6.0.0","@rollup/plugin-node-resolve":"^15.0.2","@rollup/plugin-typescript":"^11.1.0","@storybook/addon-docs":"^9.0.17","@storybook/addon-links":"^9.0.17","@storybook/addon-styling":"^1.0.6","@storybook/nextjs":"^9.0.17","@storybook/react-webpack5":"^9.0.17","@storybook/testing-library":"^0.2.2","@types/lodash":"^4.17.20","@types/node":"20.1.2","@types/react":"18.2.6","@types/react-dom":"18.2.4","@types/react-syntax-highlighter":"^15.5.10","@typescript-eslint/eslint-plugin":"^6.7.3","autoprefixer":"^10.4.14","eslint":"8.40.0","eslint-config-next":"^15.4.1","eslint-config-prettier":"^9.0.0","eslint-config-rv-web-nextjs":"git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master","eslint-plugin-prettier":"^5.0.0","eslint-plugin-storybook":"9.0.17","next":"^14.2.26","postcss":"^8.4.23","prettier":"^3.0.3","react":"^18.2.0","react-dom":"^18.2.0","rollup":"^3.21.6","rollup-plugin-dts":"^5.3.0","rollup-plugin-generate-package-json":"^3.2.0","rollup-plugin-peer-deps-external":"^2.2.4","rollup-plugin-postcss":"^4.0.2","rollup-plugin-tailwindcss":"^1.0.0","rollup-plugin-terser":"^7.0.2","storybook":"^9.0.17","storybook-addon-sass-postcss":"^0.3.2","typescript":"5.0.4"},"packageManager":"yarn@1.22.22+sha512.a6b2f7906b721bba3d67d4aff083df04dad64c399707841b7acf00f6b133b7ac24255f2652fa22ae3534329dc6180534e98d17432037ff6fd140556e2bb3137e","_id":"@runtimeverificationinc/web-components@1.30.5","gitHead":"90e91d33a556752f76ad5435551c0381c368068f","_nodeVersion":"22.22.2","_npmVersion":"10.9.7","dist":{"integrity":"sha512-dJO6Nnq/KQiA+mBGdzW8W5UPtGiBrfuAfRfeO9wkyWLyBoGJIMS6vRaEk1Dgds14/9u4cxCHX6fyRgmEV8Rx6g==","shasum":"f9353831a2a001a4f1acad7a8eb446853fe05381","tarball":"https://registry.npmjs.org/@runtimeverificationinc/web-components/-/web-components-1.30.5.tgz","fileCount":26,"unpackedSize":10988193,"signatures":[{"keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U","sig":"MEQCIDVGdm0He8heTApM4jAp2JTjPUwvYS9HN/Mz6LyAZ4bSAiA2Me/OjiybNHHAbIcodYBk7M0tKfbLPklQGzjurAjaSw=="}]},"_npmUser":{"name":"rvdevops","email":"devops@runtimeverification.com"},"directories":{},"maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages-npm-production","tmp":"tmp/web-components_1.30.5_1776221158216_0.6582844442634253"},"_hasShrinkwrap":false}},"time":{"created":"2023-11-22T21:23:59.192Z","modified":"2026-04-15T02:45:58.861Z","1.2.0":"2023-11-22T21:23:59.482Z","1.6.0":"2023-11-22T21:29:33.828Z","1.7.0":"2023-11-22T21:30:57.335Z","1.9.0":"2023-11-22T21:38:44.623Z","1.13.0":"2023-11-22T21:46:37.438Z","1.14.0":"2023-11-22T21:50:41.248Z","1.14.3":"2023-11-22T22:24:30.978Z","1.14.4":"2023-11-22T22:26:35.847Z","1.14.5":"2023-11-22T22:27:44.315Z","1.14.6":"2023-11-22T22:30:52.269Z","1.15.0":"2023-11-22T22:32:52.846Z","1.15.1":"2023-11-22T22:35:02.585Z","1.16.0":"2023-11-22T22:36:23.556Z","1.16.1":"2023-11-23T00:27:22.066Z","1.16.2":"2023-11-23T00:30:44.730Z","1.17.0":"2023-11-23T00:35:28.930Z","1.17.1":"2023-11-28T07:27:54.529Z","1.18.0":"2023-11-28T07:44:48.821Z","1.18.1":"2023-11-30T00:49:31.580Z","1.18.2":"2023-11-30T01:07:40.504Z","1.18.3":"2023-11-30T01:27:12.791Z","1.18.4":"2023-11-30T01:40:45.599Z","1.18.5":"2023-11-30T01:45:45.553Z","1.18.6":"2023-11-30T01:54:34.929Z","1.18.7":"2023-11-30T20:52:52.077Z","1.18.8":"2023-11-30T21:44:47.000Z","1.18.9":"2023-11-30T22:01:50.745Z","1.18.10":"2023-11-30T22:07:44.750Z","1.18.11":"2023-11-30T22:45:49.294Z","1.18.12":"2023-11-30T23:06:07.592Z","1.19.0":"2023-11-30T23:40:54.148Z","1.19.1":"2023-12-02T02:42:27.857Z","1.20.0":"2023-12-05T01:55:49.092Z","1.21.0":"2023-12-05T01:56:58.206Z","1.22.0":"2023-12-05T02:15:26.551Z","1.22.1":"2023-12-12T20:30:15.572Z","1.22.2":"2023-12-12T22:08:22.598Z","1.22.3":"2023-12-14T23:32:46.859Z","1.22.4":"2023-12-15T00:25:47.964Z","1.23.0":"2024-01-29T02:38:43.514Z","1.24.0":"2024-01-29T17:55:52.007Z","1.24.1":"2024-04-09T19:04:13.857Z","1.25.0":"2024-04-09T19:09:00.984Z","1.25.1":"2024-06-26T20:25:42.987Z","1.26.0":"2024-06-26T20:28:27.654Z","1.26.1":"2024-07-31T00:30:56.618Z","1.26.2":"2024-09-02T13:41:34.240Z","1.27.0":"2024-09-02T13:43:53.377Z","1.27.1":"2024-09-05T12:50:13.541Z","1.28.0":"2024-09-05T13:25:05.266Z","1.28.1":"2025-07-17T02:49:46.701Z","1.29.0":"2025-07-17T02:56:30.625Z","1.30.0":"2025-07-21T03:22:56.013Z","1.30.2":"2025-07-21T04:55:13.534Z","1.30.4":"2026-04-14T02:54:19.060Z","1.30.5":"2026-04-15T02:45:58.729Z"},"description":"This is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications. The library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook` and `Tailwind CSS`.","maintainers":[{"name":"rvdevops","email":"devops@runtimeverification.com"}],"readme":"# RV Web Components Library\n\n## Overview\nThis is a shared components library built with `React` and `TypeScript`, optimized for use with modern web applications.\nThe library is bundled using `Rollup` for bundle library and comes with built-in support for `Storybook`\nand `Tailwind CSS`.\n\n## Table of Contents\n- [Installation](#installation)\n- [Usage](#usage)\n- [Development](#development)\n  - [Building the Library](#building-the-library)\n  - [Running Storybook](#running-storybook)\n- [Adding New Components](#adding-new-components)\n  - [Developing New Components](#developing-new-components)\n  - [Adding New Stories](#adding-new-stories)\n- [Deploying New Version](#deploying-new-version)\n\n## Installation\n\n### Installing the Package\n\nDepending on your package manager, run one of the following commands:\n\n```bash\nyarn add @runtimeverificationinc/web-components\n```\nor\n```bash\nnpm install @runtimeverificationinc/web-components\n```\n---\n\n## Usage\n\n### Pre-requisites\n\nEnsure tailwindcss and daisyui are installed according to their respective documentation.\n\n### Tailwind Configuration\n\nUpdate your `tailwind.config.js` with:\n\n```js\ncontent: [\n  'node_modules/web-components/**/*.{js,ts,jsx,tsx,mdx}'\n]\n```\n\n### Component Usage\n\nImport and use components as shown below:\n\n```jsx\nimport { Button } from '@runtimeverificationinc/web-components';\n\nfunction App() {\n  return (\n    <div>\n      <Button />\n    </div>\n  );\n}\n\nexport default App;\n```\n\n---\n\n## Development\n\n### Initial Setup\n\nClone the repository and install dependencies:\n\n```bash\ngit clone https://github.com/runtimeverification/web-components.git\ncd web-components\nyarn install\n```\n\n### Building the Library\n\nRun the build command:\n\n```bash\nyarn build\n```\n\nThis will generate CommonJS, ESM, and TypeScript declaration files in the `lib` default directory and other component folders as `Strapi` or `GraphViz`. Make sure that everything looks good before committing the changes. \n\n> **Note**: The destination directories are all git-ignored and will be built by GitHub Actions.\n\n### Running Storybook\n\nTo start the Storybook server:\n\n```bash\nyarn storybook\n```\n\n---\n\n## Contributing\n\n### Adding New Components\n\n1. Create a new directory in `src/components`.\n2. Add your component files.\n3. Update `src/index.ts` to export the new component.\n\n### Developing New Components\n\nFor local development, import the component into `pages/index.ts`:\n\n```bash\nyarn dev\n```\n\n> **Note**: Remove the import from `pages/index.ts` after development is complete.\n\n### Adding New Stories\n\nCreate a `.stories.ts` file for your component and run:\n\n```bash\nyarn storybook\n```\n\n---\n\n## Deployment\n\nTo deploy a new version:\n\n1. Build the library: `yarn build`.\n2. Verify the `dist` folder and commit changes.\n3. Push to the `main` branch.\n4. GitHub Actions will handle the rest, automatically building and publishing the new version.","readmeFilename":"README.md"}