nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-10-03 21:40:12 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
python-updates
nixpkgs/pkgs/development/rocq-modules/deriving/default.nix
Arthur Azevedo de Amorim e8aa8e8833 rocqPackages.deriving: enable for Rocq 9.2 
The 0.2.2, 0.2.1 and 0.2.0 cases were subsumed by the 0.2.3 one and
could never be selected; drop them.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
2026-09-24 21:12:25 -04:00

1.3 KiB
Raw Permalink Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink