Ur/Web 编程语言
http://www.impredicative.com/ur/
许可证: BSD-3-Clause
公式 JSON API: /api/formula/urweb.json
公式代码: urweb.rb
在 GitHub 上
提供瓶装(二进制包)安装支持
Apple Silicon | sonoma | ✅ |
---|---|---|
ventura | ✅ | |
monterey | ✅ | |
Intel | sonoma | ✅ |
ventura | ✅ | |
monterey | ✅ | |
64位 Linux | ✅ |
当前版本
稳定版 | ✅ | 20200209 |
修订版本: 9
依赖项
gmp | 6.3.0 | GNU 多精度算术库 |
icu4c | 74.2 | Unicode 和全球化用的 C/C++ 和 Java 库 |
openssl@3 | 3.3.1 | 加密和 SSL/TLS 工具包 |
从源码构建时的依赖项
autoconf | 2.72 | 自动配置脚本构建器 |
automake | 1.17 | 生成符合 GNU 标准的 Makefile 的工具 |
libtool | 2.4.7 | 通用库支持脚本 |
mlton | 20210117 | 适用于 Standard ML 的完整程序优化编译器 |
分析
安装(30天) | |
---|---|
urweb |
3 |
按需安装(30天) | |
urweb |
3 |
构建错误(30天) | |
urweb |
0 |
安装(90天) | |
urweb |
12 |
按需安装(90天) | |
urweb |
12 |
安装(365天) | |
urweb |
275 |
按需安装(365天) | |
urweb |
275 |