Official Packages

RSS Feed
haskell-tamarin-prover-utils 1.10.0-79 x86_64
haskell-tamarin-prover-theory 1.10.0-80 x86_64
haskell-tamarin-prover-term 1.10.0-79 x86_64
haskell-tamarin-prover-sapic 1.10.0-80 x86_64
haskell-tamarin-prover-export 1.10.0-80 x86_64
haskell-tamarin-prover-accountability 1.10.0-80 x86_64
haskell-stm-hamt 1.2.1.1-58 x86_64
haskell-stm-containers 1.2.1.1-86 x86_64
haskell-retrie 1.2.3-89 x86_64
haskell-primitive-extras 0.10.2.2-57 x86_64

Update your mirrorlist

AUR

RSS Feed
localsend-go-bin  
thunar-secure-delete  
ardopcf-bin  
yandex-cloud-cli-bin  
keypress  
riptide  
thorium  
python-vcf-sdk  
python-vcf-installer  
python-vmware-vsan-data-protection  


更多...

  • 近期文章
  • 归档
  • 其他操作




  • 欢迎来到 Arch Linux 中文社区

    Arch Linux是一个轻量的、灵活的Linux发行版,遵循K.I.S.S.原则。

    目前我们有专门为x86_64架构优化的官方软件包。作为官方软件包的补充,我们还有一个社区维护的,数量每天都在增长和进步的软件构建脚本仓库

    我们强大的社区热情而乐于助人,同时我们以能够用自己的技术能力使用Arch并作为Arch的主干力量而自豪。请查阅我们的论坛即时聊天室来加入我们。如果你想了解更多关于Arch的信息,可以看一看我们的Wiki

    Learn more...

    RSS Feed

    最新文章

    zn_poly >= 0.9.2-2 升级需要手动干预

    2020 年 4 月 15 日

    zn_poly 包在版本 0.9.2-2 之前缺失了一个动态库链接。这个问题已经在 0.9.2-2 中修复,所以更新时需要覆盖 ldconfig 创建出的未被跟踪到的文件。如果你在升级时遇到如下报错:

    zn_poly: /usr/lib/libzn_poly-0.9.so  exists in filesystem

    那么请使用命令:

    pacman -Syu --overwrite usr/lib/libzn_poly-0.9.so

    完成更新。

    nss>=3.51.1-1 及 lib32-nss>=3.51.1-1 更新需要手动干预

    2020 年 4 月 13 日

    nsslib32-nss 两个包在版本 3.51.1-1 之前各缺失了一个动态库软链接。这个问题已经在 3.51.1-1 中修复,所以更新时需要覆盖 ldconfig 创建出的未被跟踪到的文件。如果你在升级时遇到如下报错:

    nss: /usr/lib/p11-kit-trust.so exists in filesystem
    lib32-nss: /usr/lib32/p11-kit-trust.so exists in filesystem

    那么请使用命令:

    pacman -Syu --overwrite /usr/lib\*/p11-kit-trust.so

    完成更新。



    © 2012-2025 Arch Linux Chinese Community | Arch Linux 中文社区
    GNU FDL 1.3
    Original designed by Archlinux.org · XHTML · CSS · RSS
    Proudly powered by WordPress | Server by RivenCloud
    The Arch Linux name and logo are recognized trademarks by Judd Vinet & Aaron Griffin. Some rights reserved.