nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-14 08:54:46 +00:00
Code Issues Packages Projects Releases Wiki Activity
524,447 Commits 172 Branches 125 Tags 7.4 GiB
50bb03d92c
Commit Graph

3 Commits

Author SHA1 Message Date
Shawn8901
4dcb03a5c3 treewide: remove global with lib; statements in pkgs/coq-modules 2023-01-21 23:19:48 +01:00
Vincent Laporte
7711b57784
coqPackages.smpl: init at 8.14 & 8.15 2022-05-07 07:29:39 +02:00
Ben Siraphob
c513f1ed91
coqPackages.smpl: init 2021-11-12 22:22:35 -06:00