没有合适的资源？快使用搜索试试~
我知道了~
文库首页
开发技术
其它
opam-bulk-logs:每日 OPAM 批量包构建的日志
opam-bulk-logs:每日 OPAM 批量包构建的日志
需积分: 5
0 下载量
122 浏览量
2021-07-05
17:46:06
上传
评论
收藏
106.99MB
ZIP
举报
温馨提示
立即下载
opam-bulk-logs 每日 OPAM 批量包构建的日志
资源推荐
资源评论
opam-repo-ci：OCurrent管道，用于测试向opam-repository的提交
浏览：175
运行opam-repo-ci-local命令（您可能需要增加打开文件数的限制）： ulimit -n 102400 dune exec -- opam-repo-ci-local \ --confirm harmless \ --submission-service submission.cap \ --github-token-file ...
opam-release:帮助者发布opam软件包
浏览：62
opam开关发布-A系统opam安装opam-publish``` This will be used to publish the new release to [opam-repository](https://github.com/ocaml/opam-repository) 完成此操作后，转到项目的根目录并标记并发布新版
opam-coq-archive:存档在各个存储库中组织的所有与Coq相关的OPAM软件包
浏览：82
包是根据进行组织的。储存库要激活存储库： 所有已发布的软件包： opam repo add coq-released https://coq.inria.fr/opam/released开发版本： opam repo add coq-extra-dev ...
opam-bulk-build-ui:可能的新UI的原型
浏览：113
OPAM批量构建UI原型 托马斯·伦纳德（Thomas Leonard），2015年版权所有 使适应 该库是免费软件。 您可以根据自由软件基金会（Free Software Foundation）发布的GNU通用公共许可协议（GNU Lesser General Public ...
opam-arm-repository:ARM交叉编译器
浏览：152
opam-arm资料库 这个OPAM信息库包含一个用于ARM的OCaml交叉编译器，以及一些为linux-armhf编译的OCaml库和程序。 请注意，这里找到的大多数食谱都是改编。 我会调整所需的内容，但我很乐意接受PR。 以下注释也...
opam-2.0.0-beta4.tar.gz
浏览：146
opam-2.0.0-beta4.tar.gz ocaml-2.0.0-beta4 tar.gz 源码 tar.gz Objective Caml（OCaml）是Caml编程语言的主要实现 截至2017.11.14 ocaml 2.0.0版本的源码 md5: 40bcc6b3eea5f6a24fb01cfe0a996901 大小：746 KB
opam-repository, OPAM的主 public 包存储库，OCaml的源包管理器.zip
浏览：172
opam-repository, OPAM的主 public 包存储库，OCaml的源包管理器 这个库包含OCaml包和编译器元数据，并由缺省安装 opam插件使用。：如何贡献欢迎捐赠 ！CONTRIBUTING.md 文档有关于如何贡献的一般指南。如果你想添加...
opam-depext:尝试自动安装OPAM软件包所需的系统软件包
浏览：72
opam-depext已集成到opam中。 如果要请求更改，请参考此。 OPAM depext插件 替换当前使用的shell脚本，以处理OPAM软件包的外部依赖关系的特定于发行版的安装（根据其定义中的depexts字段）。 当前支持的depexts是：...
opam-repository:用于Jane Street软件包开发版本的Opam存储库
浏览：18
要使用它，请键入： opam repo add janestreet-bleeding https://ocaml.janestreet.com/opam-repository 请注意，以上网址不是此github存储库之一。 它是带有静态tarball的镜子，使用起来更方便。 一些软件包依赖于...
opam-repository-master.zip
浏览：14
opam-repository-master.zip ocaml-4.02.3 源码 Objective Caml（OCaml）是Caml编程语言的主要实现 截至2017.11.14 ocaml最新稳定版本 md5: 356b2f7587a3d0255e4c110b46207370 大小：12.3 MB
ocalme-opam-repository:私人OPAM资料库
浏览：191
ocalme-opam-repository:私人OPAM资料库
opam-user-setup:简化使用OCaml工具的编辑器的配置
浏览：98
Opam-user-setup的设计既适合那些不想被配置文件打扰的初学者，也适合那些对其进行仔细管理的人。 它是可定制和可逆的。 支持不同的编辑器或工具，欢迎索取或贡献！ 用法 需要正常运行的opam安装和OCaml 4.02.0或...
opam-pkgdev:用于OPAM软件包构建的通用Makefile
浏览：65
opam-pkgdev 用于OPAM软件包构建的通用makefile。 有关用法，请参见Makefile.example 。
opam-repository：opam的主要公共软件包存储库，OCaml的源软件包管理器
浏览：60
可以使用opam-health-check [ ]探索软件包生态系统的状态： ://check.ocamllabs.io/ 如何贡献 欢迎捐款！ 文件具有有关如何一般准则。 如果您想添加新软件包，请参考。 执照 此存储库中包含的所有元数据均根据...
opam-installext:OPAM 插件与 OPAM 包一起安装外部系统库
浏览：57
在安装 OPAM 包之前，此 OPAM 插件将使用 OPAM 数据库中的depexts元数据来安装任何必备的系统库。 它检测您的操作系统发行版并使用相关的包管理器。 支持的包括： Linux Debian ( apt-get ) Ubuntu ( apt-get ) ...
opam-repo：用于实验的私有OPAM库
浏览：40
opam-repo：用于实验的私有OPAM库
llir-opam-repository：用于Duplo优化的OCaml的Opam存储库
浏览：21
建立opam switch create llir \ --repositories=llir=git+https://github.com/nandor/llir-opam-repository \ --emptyopam updateopam install ocaml-variants.4.11.0.0.0.1+llir参考文献Duplo：OCaml链接优化后的...
Iso-Recursive-Subtyping:重温 Iso-Recursive 子类型化
浏览：129
>> opam install opam-depext >> opam-depext coq >> sudo apt-get install m4 >> opam pin add coq 8.12.0安装 。 在终端中，输入 >> git clone https://github.com/plclub/metalib.git >&
opam：opam是基于源的软件包管理器。 它支持多个同时进行的编译器安装，灵活的软件包约束以及Git友好的开发工作流程
浏览：87
opam-OCaml的软件包管理器 主 2.0 Opam是OCaml的基于源的软件包管理器。 它支持多个同时进行的编译器安装，灵活的软件包约束以及Git友好的开发工作流程。 Opam由创建并维护。 首先，请查看《和指南》。 编译这个...
Qt 5实现串口调试助手 （源工程文件、0积分下载）
浏览：77
5星 · 资源好评率100%
基于Qt 5实现串口调试助手，程序仅供参考，修改了之前十六进制接收0xA0--0xFF有误的问题，新增了窗口自适应（ui文件设置栅格），文件详情可看博客链接https://blog.csdn.net/m0_51294753/article/details/121405661。
【SystemVerilog】路科验证V2学习笔记（全600页）.pdf
浏览：141
5星 · 资源好评率100%
SystemVerilog的听课学习笔记，包括讲义截取、知识点记录、注意事项等细节的标注。 目录如下： 第一章 SV环境构建常识 1 1.1 数据类型 1 四、二值逻辑 4 定宽数组 9 foreach 13 动态数组 16 队列 19 关联数组 21 枚举类型 23 字符串 25 1.2 过程块和方法 27 initial和always 30 func
AutoSAR标准协议4.2.2
浏览：138
5星 · 资源好评率100%
AutoSAR标准协议规范4.2.2，里面包含了AutoSAR组织所规定的AutoSAR架构的标准规范协议原文档。对AutoSAR的学习有一定的借鉴意义
光伏-储能并网系统仿真.rar
浏览：114
5星 · 资源好评率100%
该文件是清华大学储能课的期末大作业。用SIMULINK搭建了一个完整的光伏-储能并网系统。我的博客中介绍了系统实现的具体方法，欢迎查看！
GD32替换STM32注意事项.pdf
浏览：15
3星 · 编辑精心推荐
GD32 介绍与 STM32 兼容性汇总。STM32的代码直接在GD32上运行需要小部分的修改。按教程做对应修改就行哈。
XCP协议的规范文档
浏览：86
5星 · 资源好评率100%
XCP协议的原规范文档，主要包含了Part1-5共5个部分，其中第三部分又分为CAN、以太网和Sxl等。对于XCP协议的开发者和学习者有借鉴意义
NPPJSONViewer.zip
浏览：79
4星 · 用户满意度95%
NodePad++ JSON格式化插件
CANoe通过CAPL脚本实现自动测试
浏览：127
现在汽车行业用vector的工具进行自动测试，但是该自动测试模板很少，本案例是分享CAPL脚本自动化测试的模板，和自动控制测试步骤的XML模板，使用过程可以通过本人分享的文档来实现工程的建立到自动测试的完成。通过CAPL脚本+XML控制测试步骤，实现自动测试，生成测试报告。
VS2015安装证书，JavaScript_ProjectSystem.msi，JavaScript_LanguageService.msi
浏览：138
3星 · 编辑精心推荐
vs2015.iso包安装，不然会卡在安装包丢失或损坏
蓝牙BLE协议中文版.pdf
浏览：37
蓝牙BLE协议中文版，帮助初学者更快掌握协议内容。协议为SIG官方协议的中文版，所有协议内容均与英文原版协议内容保持一致
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
花花鼓
粉丝: 29
资源:
4647
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
蓝桥杯单片机第十四届省赛程序题
TG-2024-05-23-204718255.mp4
候志强@181 5428 8938_20240420112107.amr
spispispispispi
实验二：IP协议分析.zip
驱动代码驱动代码驱动代码驱动代码
SVID_20240523_141155_1.mp4
Code for the complete guide to tkinter tutorial
关于百货中心供应链管理系统.zip
SimpleFolderIcon-master 修改Unity的Project下的文件夹图标
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
