内容简介:RPM 4.15.0 发布了,RPM Package Manager (RPM) 是一个强大的命令行驱动的软件包管理工具,用来安装、卸载、校验、查询和更新 Linux 系统上的软件包。 常规 bug 修复和功能增强 在 Linux 上添加对无根 chroot 操作...
RPM 4.15.0 发布了,RPM Package Manager (RPM) 是一个强大的命令行驱动的软件包管理工具,用来安装、卸载、校验、查询和更新 Linux 系统上的软件包。
常规 bug 修复和功能增强
- 在 Linux 上添加对无根 chroot 操作的支持(实验性)
- 添加虚拟数据库后端以更好地支持没有 rpmdb 的系统(Debian)
- 改进 ARM 检测,添加 armv8 支持
- 在 aarch64 和 arm64 之间添加架构兼容性映射
- 文档更新
其他大量更新内容请查看更新说明:
以上所述就是小编给大家介绍的《RPM 4.15.0 发布,Linux 软件包管理器》,希望对大家有所帮助,如果大家有任何疑问请给我留言,小编会及时回复大家的。在此也非常感谢大家对 码农网 的支持!
本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们。
从规范出发的程序设计
[美] Carroll Morgan / 裘宗燕 / 机械工业出版社 / 2002-8 / 45.00元
本书详细论述了有关规范程序设计的内容,包括:程序和精化、谓词演算、选择、迭代、构造类型、模块和封装等,最后几章还包含了大量的实例研究和一些更高级的程序设计技术。本书提倡一种严格的程序开发方法,分析问题要用严格方式写出程序的规范,而后通过一系列具有严格理论基础的推导,最终得到可以运行的程序。 本书是被世界上许多重要大学采用的教材,适于计算机及相关专业的本科生和研究生使用。一起来看看 《从规范出发的程序设计》 这本书的介绍吧!