Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
repo1.maven.org : org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.uml2
Providing GUI for all integrated core plugins
Registry
-
Source
- Homepage
- Documentation
- JSON
purl: pkg:maven/org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.uml2
Keywords: code-generation, eclipse, formal-methods, ide, java, overture, vdm, vdm-sl, vdmpp, vdmrt
License: GPL-2.0
Latest release: over 3 years ago
First release: almost 8 years ago
Namespace: org.overturetool.ide.plugins.features
Stars: 48 on GitHub
Forks: 26 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 9 days ago