whiley
| Crates.io | whiley |
| lib.rs | whiley |
| version | 0.6.3 |
| created_at | 2021-12-04 21:29:24.47023+00 |
| updated_at | 2022-08-11 04:18:42.620298+00 |
| description | A command-line build tool and package manager for Whiley. |
| homepage | http://whiley.org |
| repository | https://github.com/Whiley/WhileyBuildTool |
| max_upload_size | |
| id | 492390 |
| size | 130,066 |
David Pearce (DavePearce)
documentation
README
Overview
This is a placeholder for tools relating to the Whiley programming language (see http://whiley.org).