PackagesSoftware development for high-reliability applications
| Version | RDEPEND | DEPEND | BDEPEND | IDEPEND | PDEPEND |
|---|---|---|---|---|---|
| dev-ada/gnatcoll-core | |||||
| dev-ada/gpr | |||||
| dev-ada/gprbuild | |||||
| dev-lang/python | |||||
| dev-python/sphinx | |||||
| dev-python/sphinx-rtd-theme | |||||
| sci-mathematics/alt-ergo | |||||
| sci-mathematics/why3-for-spark |