nixpkgs
nixpkgs is Most Honourable Nixpkgs Maintainers, it is with the utmost respect that I request the review and, God willing, the merging of rocq-mcp. Countless Nix-Rocq users. It is ranked #1399 on the Dev Radar, in Languages & runtimes, first seen 12 h ago and shared in 1 post (36 views).
What nixpkgs says about itself
Adds two new packages enabling the Rocq MCP toolchain, plus the coq-lsp change they depend on: python3Packages.pytanque (0.2.2): Python client for the Petanque JSON-RPC interface to coq-lsp. Upstr...
rocq-mcp: init at 0.3.1-unstable-2026-07-21; python3Packages.pytanque: init at 0.2.2 by remix7531 · Pull Request #542647 · NixOS/nixpkgs · GitHub Skip to content Navigation Menu Sign in Appearance settings Search / Sign in Sign up Appearance settings You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert {{ message }} NixOS / nixpkgs Public Uh oh! There was an error while loading. Please reload this page . Notifications You must be signed in to change…
What people said about nixpkgs on X
Most Honourable Nixpkgs Maintainers, it is with the utmost respect that I request the review and, God willing, the merging of rocq-mcp. Countless Nix-Rocq users await your favour. https://github.com/NixOS/nixpkgs/pull/542647
— @remix7531, 12 h ago · 1 likes · see the post
Alternatives to nixpkgs
- Probably — Introducing Probably: a programming language powered by Jev
- OpenJDK JDK 27 GA Release Builds — This article examines both
- bend — Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh -…
- Effect — Kit from Anomaly unleashed Astra on Effect. Dillon will never again start another TypeScript app without Effect. Matt…
- Cisco Networking Academy — Cisco Networking Academy
- evm-bend — Correctness-first EVM interpreter in Bend targeting Amsterdam. Working interpreter; full conformance and proofs in…
nixpkgs in numbers
- Rank on the Dev Radar: #1399 of 2352
- Shared in 1 post by 1 account: @remix7531
- 36 views on those posts
- First seen 12 h ago, last shared 12 h ago
- Pricing seen by Jev: open source
- Market: Languages & runtimes
FAQ
What is nixpkgs?
Most Honourable Nixpkgs Maintainers, it is with the utmost respect that I request the review and, God willing, the merging of rocq-mcp. Countless Nix-Rocq users It was first shared on X 12 h ago and is ranked #1399 on the Dev Radar.
Is nixpkgs free?
It is open source.
Who shared nixpkgs?
1 account on X, including @remix7531, in 1 post totalling 36 views.
Every post is read and classified by Jev (TypeSafe): what it is, which market it belongs to, and whether the link is a real tool. 20.7k posts from 4.9k X accounts over the last 21 days, 2.4k tools, 12 markets. Collected every 5 minutes, fully re-ranked every hour — last update 2026-09-22 08:21 UTC. Full method.