rachidchabane/musthold
v0.1.1Apache-2.0
Runs the proofs of the installed musthold modules together.
plugin.json
- name
- musthold
- version
- 0.1.1
- description
- Runs the proofs of the installed musthold modules together.
- author
- Rachid Chabane
- license
- Apache-2.0
- keywords
- mustholdprooftestsrequirements
{
"$schema": "https://agent-plugins.org/schemas/1.0.0/plugin.schema.json",
"name": "musthold",
"version": "0.1.1",
"description": "Runs the proofs of the installed musthold modules together.",
"author": {
"name": "Rachid Chabane"
},
"repository": "https://github.com/RachidChabane/musthold",
"license": "Apache-2.0",
"keywords": [
"musthold",
"proof",
"tests",
"requirements"
]
}