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

推荐订阅源

cs.AI updates on arXiv.org

Know Your Adversary

Cyber Attacks, Cyber Crime and Cyber Security

Darknet – Hacking Tools, Hacker News & Cyber Security

CXSECURITY Database RSS Feed - CXSecurity.com

Schneier on Security

Vulnerabilities – Threatpost

Google Online Security Blog

Lohrmann on Cybersecurity

Recent Commits to openclaw:main

LINUX DO - 热门话题

Secure Thoughts

The Exploit Database - CXSecurity.com

博客园 - 【当耐特】

Recent Announcements

Security Archives - TechRepublic

Stack Overflow Blog

罗磊的独立博客

OSCHINA 社区最新新闻

Kaspersky official blog

阮一峰的网络日志

博客园_首页

Full Disclosure

大猫的无限游戏

博客园 - 叶小钗

Last Week in AI

Security Affairs

Apple Machine Learning Research

Netflix TechBlog - Medium

Security Latest

Y Combinator Blog

Troy Hunt's Blog

Hacker News - Newest: "LLM"

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) - nuxmv-bin

2026-06-19 · via AUR Newest Packages

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: nuxmv-bin 2.2.0-1

Git Clone URL:	https://aur.archlinux.org/nuxmv-bin.git (read-only, click to copy)
Package Base:	nuxmv-bin
Description:	State of the art, infinite state model checker built on NuSMV
Upstream URL:	https://nuxmv.fbk.eu/
Licenses:	LicenseRef-nuXmv-FBK-License
Provides:	nuXmv
Submitter:	aseoista
Maintainer:	aseoista
Last Packager:	aseoista
Votes:	0
Popularity:	0.000000
First Submitted:	2026-02-06 13:15 (UTC)
Last Updated:	2026-06-19 12:18 (UTC)

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