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:org.overture.ide.ui
Super POM for all IDE (Eclipse) artifacts.
Registry
-
Source
- Homepage
- Documentation
- JSON
purl: pkg:maven/org.overturetool.ide/org.overture.ide.ui
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
Stars: 48 on GitHub
Forks: 26 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 6 days ago