mosml (lang/mosml) Updated: 1 year, 6 months ago Add to my watchlist

Moscow ML is an implementation of Standard ML (SML)

Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research. The latest release of Moscow ML implements the full Standard ML language, as revised 1997, including Modules and some extensions, yet is backwards compatible with versions prior to 2.00, and implements large parts of the new SML Basis Library.

Version: 2.10.1 License: GPL-2+ GitHub
Reset

40 build(s) found
Builder Build Number Start Time Elapsed Time Watcher Build Status
15 7710 2024-10-08 15:26:33 2:54:31 766 exception interrupted
14.arm64 7495 2024-01-18 12:48:26 0:00:29 4140 build successful
14 9773 2023-11-10 5:13:47 0:01:49 1555 build successful
11.arm64 100033 2023-08-24 8:40:47 0:00:30 35956 build successful
12 78654 2023-08-18 11:36:27 0:02:38 24758 build successful
10.12 240771 2023-08-16 6:38:20 0:01:46 74243 build successful
12.arm64 102955 2023-08-16 3:05:53 0:00:25 24762 build successful
10.7 155990 2023-08-15 21:53:38 0:03:19 47753 build successful
10.8 144407 2023-08-15 21:51:42 0:04:33 45813 build successful
10.14 176291 2023-08-15 21:27:44 0:03:32 57054 build successful
10.13 201534 2023-08-15 21:11:01 0:01:44 66295 build successful
10.11 232036 2023-08-15 20:50:41 0:03:36 75449 build successful
13 44543 2023-08-15 20:49:36 0:00:03 10511 build successful
11 123761 2023-08-15 20:49:34 0:02:57 35959 build successful
10.15 151788 2023-08-15 20:49:24 0:02:34 46042 build successful
10.10 235644 2023-08-15 20:38:24 0:03:25 75337 build successful
10.9 242092 2023-08-15 20:34:03 0:01:35 75026 build successful
10.6.x86_64 166788 2023-08-15 20:28:56 0:00:45 48010 build successful
13.arm64 31630 2023-08-15 20:28:40 0:00:10 10366 build successful
10.6 131348 2023-08-15 20:28:24 0:00:48 47971 build successful
13.arm64 8002 2023-03-06 0:33:06 0:00:07 3928 failed install-port
13 8001 2022-12-28 18:27:43 0:00:14 1125 failed install-port
12.arm64 79638 2022-12-28 9:45:46 0:00:07 15719 failed install-port
11 97278 2022-12-28 3:22:32 0:00:11 26928 failed install-port
12 53705 2022-12-28 3:20:23 0:00:11 15707 failed install-port
11.arm64 78945 2022-12-28 3:19:06 0:00:10 26902 failed install-port
12.arm64 51690 2022-05-22 22:44:19 0:00:06 7937 failed install-port
12 30158 2022-05-22 21:44:55 0:00:10 7947 failed install-port
11 73033 2022-05-22 18:19:29 0:00:12 19168 failed install-port
11.arm64 54401 2022-05-22 18:14:54 0:00:09 19108 failed install-port
12 14517 2022-01-15 9:43:22 0:00:09 3486 failed install-port
11.arm64 43275 2022-01-15 7:25:20 0:00:09 14803 failed install-port
12.arm64 38712 2022-01-15 3:05:55 0:00:06 3626 failed install-port
11 60800 2022-01-15 2:41:28 0:00:12 14867 failed install-port
12.arm64 18515 2021-11-17 15:34:41 0:00:07 1207 failed install-port
11.arm64 22409 2021-06-10 5:12:32 0:00:09 7062 failed install-port
11 33584 2021-06-10 5:11:27 0:00:21 6887 failed install-port
11 10848 2020-12-31 4:49:28 0:00:26 1446 failed install-port
11.arm64 6301 2020-12-28 0:54:27 0:00:09 1481 failed install-port
10.15 7036 2019-11-28 7:20:52 0:00:52 1029 build successful