AUR (en) - verus-bin - 惯性聚合

推荐订阅源

美团技术团队

Privacy International News Feed

Proofpoint News Feed

Security Archives - TechRepublic

CXSECURITY Database RSS Feed - CXSecurity.com

Know Your Adversary

Security Latest

Threat Intelligence Blog | Flashpoint

Attack and Defense Labs

cs.AI updates on arXiv.org

News and Events Feed by Topic

News | PayPal Newsroom

Y Combinator Blog

CERT Recently Published Vulnerability Notes

Netflix TechBlog - Medium

Security Affairs

罗磊的独立博客

www.infosecurity-magazine.com

LINUX DO - 热门话题

The Cloudflare Blog

博客园_首页

Hacker News: Front Page

宝玉的分享

博客园 - 聂微东

Google Online Security Blog

Threat Research - Cisco Blogs

Hacker News - Newest: "LLM"

有赞技术团队

The GitHub Blog

博客园 - 叶小钗

Visual Studio Blog

Tailwind CSS Blog

The Blog of Author Tim Ferriss

Fortinet All Blogs

AUR Newest Packages

AUR (en) - xcute AUR (en) - wallrift AUR (en) - smolvm-git AUR (en) - smolvm-bin AUR (en) - smolvm AUR (en) - chess-cat-git AUR (en) - uac-launch-control-bin AUR (en) - openclaw AUR (en) - keyviz-zh-bin AUR (en) - runex-bin AUR (en) - sing-box-ref1nd-beta-bin AUR (en) - netscan-tui AUR (en) - koharu-appimage AUR (en) - pulsedb AUR (en) - android-cli AUR (en) - rudo-bin AUR (en) - marmalade-bin AUR (en) - clawx-appimage AUR (en) - echomusic-appimage AUR (en) - vermouth AUR (en) - mautrix-telegram-bin AUR (en) - ketesa AUR (en) - clawd-on-desk-bin AUR (en) - rebased-bin AUR (en) - oxideterm-bin AUR (en) - shed-sh AUR (en) - haus-bin AUR (en) - stably-orca-bin AUR (en) - reflection AUR (en) - emerald-legacy-launcher-git AUR (en) - kwim AUR (en) - pentest-ghostwriter AUR (en) - papagaia AUR (en) - outport-bin AUR (en) - carton-appimage AUR (en) - veila-git AUR (en) - veila-bin AUR (en) - vigil-baseline AUR (en) - byedroid AUR (en) - python-fastapi-sso AUR (en) - zeed-bin AUR (en) - dwl-git-azerty AUR (en) - libspatialaudio-git AUR (en) - opennow AUR (en) - rotki AUR (en) - kapi-bin AUR (en) - classfi-git AUR (en) - giff-git AUR (en) - budget-tracker-bin AUR (en) - budget-tracker AUR (en) - tasks-bin AUR (en) - ruri-git AUR (en) - gitmun-bin AUR (en) - python-cozempic AUR (en) - paintfe-bin AUR (en) - paintfe AUR (en) - drop-bin AUR (en) - tritium-launcher-bin AUR (en) - solidc-git AUR (en) - paseo-desktop-bin AUR (en) - dota2-minify-bin AUR (en) - yt-dvr AUR (en) - enneagram AUR (en) - excalidraw-desktop-bin AUR (en) - binaryobjectscanner-bin AUR (en) - openring-rs AUR (en) - openring-rs-bin AUR (en) - brave-origin-beta-bin AUR (en) - whisper.cpp-cuda-bin AUR (en) - libggml-cuda-bin AUR (en) - revdiff AUR (en) - tdesktop-nolimit AUR (en) - cert-checker AUR (en) - yaak-cli AUR (en) - yaak-cli-bin AUR (en) - deez-notes-bin AUR (en) - goosestation-libretro AUR (en) - whispers-cuda-bin AUR (en) - kei AUR (en) - foxguard AUR (en) - hyprlogin-git AUR (en) - kebiki AUR (en) - runex AUR (en) - ikuai-cli AUR (en) - whispers-bin AUR (en) - pipeweaver-app AUR (en) - pipeweaver AUR (en) - agentop-bin AUR (en) - cosmic-ext-connected-git AUR (en) - skwd-daemon AUR (en) - ter-music-cn AUR (en) - elio-bin AUR (en) - keyboard-chattering-fix-git AUR (en) - qtkeychain-qt5 AUR (en) - gesturecontrol AUR (en) - sharey AUR (en) - ouijit-bin AUR (en) - usque-bin AUR (en) - twig-bin AUR (en) - ascendara-bin

AUR (en) - verus-bin

2026-06-01 · via AUR Newest Packages

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: verus-bin 0.2026.06.14.4ea7d0f-1

Git Clone URL:	https://aur.archlinux.org/verus-bin.git (read-only, click to copy)
Package Base:	verus-bin
Description:	Verified Rust for low-level systems code
Upstream URL:	https://github.com/verus-lang/verus
Licenses:	MIT
Conflicts:	verus
Provides:	verus
Submitter:	ouuan
Maintainer:	ouuan
Last Packager:	ouuan
Votes:	2
Popularity:	0.023219
First Submitted:	2025-09-30 04:42 (UTC)
Last Updated:	2026-06-15 04:58 (UTC)

此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。原文来自 — 版权归原作者所有。