nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-15 08:34:04 +00:00
Code Issues Packages Projects Releases Wiki Activity
480,698 Commits 213 Branches 125 Tags 7 GiB
d67dfdbdf8
Commit Graph

3 Commits

Author SHA1 Message Date
Pierre Roux
6302147d48 coqPackages.mathcomp-algebra-tactics 1.0.0 -> 1.1.1 2023-04-13 14:21:59 +02:00
Shawn8901
4dcb03a5c3 treewide: remove global with lib; statements in pkgs/coq-modules 2023-01-21 23:19:48 +01:00
Cyril Cohen
e31777a12c coqPackages.mathcomp-algebra-tactics: init at 1.0.0 2022-11-24 20:41:35 +01:00