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/jasmin/default.nix
Vincent Laporte a2ae4f44c0 rocqPackages.jasmin: 2026.03.1 → 2026.03.3
2026-09-28 11:44:02 +02:00

2.0 KiB
Raw Permalink Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink