This website requires JavaScript.
Explore
Help
Sign In
nathan
/
nixpkgs
Watch
1
Star
0
Fork
0
You've already forked nixpkgs
mirror of
https://github.com/NixOS/nixpkgs.git
synced
2026-10-30 08:00:59 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
master
Add File
New File
Upload File
Apply Patch
nixpkgs
/
pkgs
/
development
/
rocq-modules
/
ExtLib
History
Vincent Laporte
bf48f434b9
rocqPackages.ExtLib: 0.13.1 → 0.13.2
2026-10-02 14:32:12 +02:00
..
default.nix
…
