colin/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
623,236 Commits 124 Branches 0 Tags 3.3 GiB
wip-ffado-cross
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