dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
f01121fe73
nixpkgs/pkgs/development/coq-modules/mathcomp-word
History
Vincent Laporte 76c5738ef2 coqPackages.mathcomp-word: 2.1 → {2.2, 3.0}
2023-11-29 06:31:24 +01:00
..
default.nix coqPackages.mathcomp-word: 2.1 → {2.2, 3.0} 2023-11-29 06:31:24 +01:00