dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
3c0320c3c0
nixpkgs/pkgs/development/coq-modules/mathcomp-word
History
Vincent Laporte 81537e0656 coqPackages.mathcomp-word: 3.1 → 3.2; 2.3 → 2.4
2024-05-31 20:55:19 +02:00
..
default.nix coqPackages.mathcomp-word: 3.1 → 3.2; 2.3 → 2.4 2024-05-31 20:55:19 +02:00