smlpkg (devel/smlpkg) Updated: 1 year, 5 months ago Add to my watchlist
Generic package manager for Standard ML libraries and programsThis program constitutes a generic package manager for Standard ML libraries and programs. The package manager assumes nothing and knows nothing about the Standard ML compilers used and is thus quite generic. The package manager is centered around the notion of semantic versioning and currently supports packages hosted on GitHub and GitLab. The package manager takes care of downloading and upgrading dependent packages and works well with the use of MLB files supported by Standard ML compilers such as MLton, MLKit and SMLtoJs.
Version: 0.1.5 License: MIT
GitHub
20 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 15 | 12809 | 2024-10-13 16:48:59 | 0:00:30 | 1279 | build successful |
| 14.arm64 | 14283 | 2024-01-27 9:35:01 | 0:00:28 | 4786 | build successful |
| 14 | 24305 | 2024-01-06 7:56:22 | 0:01:28 | 4041 | build successful |
| 10.6 | 127723 | 2023-07-26 1:36:26 | 0:01:15 | 47189 | build successful |
| 11.arm64 | 98289 | 2023-07-25 23:36:27 | 0:00:22 | 35195 | build successful |
| 12.arm64 | 100968 | 2023-07-25 22:36:17 | 0:01:28 | 24007 | build successful |
| 10.7 | 152714 | 2023-07-25 21:32:07 | 0:00:45 | 46965 | failed install-dependencies |
| 10.11 | 229696 | 2023-07-25 17:41:32 | 0:10:00 | 74661 | build successful |
| 10.14 | 174141 | 2023-07-25 17:32:14 | 0:05:50 | 56290 | build successful |
| 10.15 | 149418 | 2023-07-25 17:30:24 | 0:08:33 | 45280 | build successful |
| 11 | 121777 | 2023-07-25 17:27:20 | 0:06:23 | 35197 | build successful |
| 12 | 76981 | 2023-07-25 17:25:45 | 0:06:29 | 23996 | build successful |
| 10.13 | 199495 | 2023-07-25 17:16:56 | 0:06:09 | 65531 | build successful |
| 10.12 | 238739 | 2023-07-25 17:16:47 | 0:05:31 | 73457 | build successful |
| 10.6.x86_64 | 163099 | 2023-07-25 17:14:35 | 0:00:38 | 47226 | failed install-dependencies |
| 10.10 | 233221 | 2023-07-25 17:08:29 | 0:09:02 | 74542 | build successful |
| 13 | 41723 | 2023-07-25 17:01:17 | 0:07:41 | 9750 | build successful |
| 10.9 | 239472 | 2023-07-25 17:00:53 | 0:07:19 | 74238 | build successful |
| 10.8 | 141851 | 2023-07-25 16:57:44 | 0:10:20 | 45026 | build successful |
| 13.arm64 | 29132 | 2023-07-25 16:38:42 | 0:09:09 | 9601 | build successful |