nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-29 17:14:33 +00:00
Code Issues Packages Projects Releases Wiki Activity
357,990 Commits 179 Branches 125 Tags 9.6 GiB
0d39e18c48
Commit Graph

5 Commits

Author SHA1 Message Date
Ulrik Strid
7e20e9039e coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true 
Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>
 2022-02-25 07:54:17 +01:00
Vincent Laporte
b62ea74e97 coqPackages.graph-theory: disable for Coq 8.15 2021-12-09 15:46:06 +01:00
Vincent Laporte
3e84e0fd7d coqPackages.graph-theory: enable for Coq 8.14 2021-11-13 13:17:20 +01:00
Théo Zimmermann
3437b543fd coq_8_14: init at 8.14+rc1 2021-10-13 10:44:09 +02:00
Ben Siraphob
2f3c29cc68 coqPackages.graph-theory: init at 0.9 2021-07-29 09:33:21 +02:00